From d905e48d6af0445c7941cd2e638461db2f4d9ee8 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Mon, 31 Aug 2026 00:49:46 +0200 Subject: Type check for value addressability --- testsuite/fail_compilation/assign_to_slicing.elna | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 testsuite/fail_compilation/assign_to_slicing.elna (limited to 'testsuite/fail_compilation/assign_to_slicing.elna') 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. -- cgit v1.2.3