diff options
Diffstat (limited to 'testsuite/fail_compilation/generic_uninferrable.elna')
| -rw-r--r-- | testsuite/fail_compilation/generic_uninferrable.elna | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/generic_uninferrable.elna b/testsuite/fail_compilation/generic_uninferrable.elna new file mode 100644 index 0000000..20d3d25 --- /dev/null +++ b/testsuite/fail_compilation/generic_uninferrable.elna @@ -0,0 +1,10 @@ +proc allocate#[R](size: Word) -> R extern + +program() +var + got: ^Word8 +begin + got := allocate(8u) (* @Error Type parameter 'R' of 'allocate' cannot be inferred *) +return 0u8 + +end. |