diff options
Diffstat (limited to 'tests/pracownia2/error/120_formal_pars_def_other_type.xi')
| -rw-r--r-- | tests/pracownia2/error/120_formal_pars_def_other_type.xi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pracownia2/error/120_formal_pars_def_other_type.xi b/tests/pracownia2/error/120_formal_pars_def_other_type.xi new file mode 100644 index 0000000..f9dcade --- /dev/null +++ b/tests/pracownia2/error/120_formal_pars_def_other_type.xi @@ -0,0 +1,6 @@ +test(x:int, x:int[], y:bool) +{ +} + +//@PRACOWNIA +//@should_not_typecheck |