diff options
| author | Eugen Wissner <belka@caraus.de> | 2026-08-31 00:49:46 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2026-08-31 00:49:46 +0200 |
| commit | d905e48d6af0445c7941cd2e638461db2f4d9ee8 (patch) | |
| tree | 7af05b7c798864d745fc3bd831e7227c0a51b567 /testsuite/fail_compilation/assign_to_slicing.elna | |
| parent | 26a1b9ad9f347315bc14f2bf3ee064ede51794fc (diff) | |
| download | elna-d905e48d6af0445c7941cd2e638461db2f4d9ee8.tar.gz | |
Type check for value addressability
Diffstat (limited to 'testsuite/fail_compilation/assign_to_slicing.elna')
| -rw-r--r-- | testsuite/fail_compilation/assign_to_slicing.elna | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/assign_to_slicing.elna b/testsuite/fail_compilation/assign_to_slicing.elna new file mode 100644 index 0000000..2266431 --- /dev/null +++ b/testsuite/fail_compilation/assign_to_slicing.elna @@ -0,0 +1,7 @@ +var + s: [3]Int + t: [2]Int + +begin + s[1 to 2] := t[1 to 2] (* @Error Expression of type '\[\]Int' is not addressable *) +end. |