Handle array and slice field constness

2 files changed, 14 insertions, 0 deletions

diff --git a/testsuite/fail_compilation/assign_array_length.elna b/testsuite/fail_compilation/assign_array_length.elna
new file mode 100644
index 0000000..ac8f9df
--- /dev/null
+++ b/testsuite/fail_compilation/assign_array_length.elna
@@ -0,0 +1,7 @@
+var
+  slice: []Int
+  array: [2]Int
+
+begin
+  array.length := slice.length (* @Error Cannot assign to a value of type 'const Word', because it is constant or contains constant members *)
+end.
diff --git a/testsuite/fail_compilation/assign_slice_ptr.elna b/testsuite/fail_compilation/assign_slice_ptr.elna
new file mode 100644
index 0000000..aa7a379
--- /dev/null
+++ b/testsuite/fail_compilation/assign_slice_ptr.elna
@@ -0,0 +1,7 @@
+var
+  slice: []Int
+  array: [2]Int
+
+begin
+  slice.ptr := array.ptr (* @Error Cannot assign to a value of type 'const \^Int', because it is constant or contains constant members *)
+end.