From a0e1740227535adc3151c02eb102c4f96b4f9731 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Fri, 17 Jul 2026 10:18:58 +0200
Subject: Implement type constness

---
 .../fail_compilation/assign_const_record_pointer.elna   | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 testsuite/fail_compilation/assign_const_record_pointer.elna

(limited to 'testsuite/fail_compilation/assign_const_record_pointer.elna')

diff --git a/testsuite/fail_compilation/assign_const_record_pointer.elna b/testsuite/fail_compilation/assign_const_record_pointer.elna
new file mode 100644
index 0000000..5e6f3df
--- /dev/null
+++ b/testsuite/fail_compilation/assign_const_record_pointer.elna
@@ -0,0 +1,17 @@
+type
+  B = record
+    x: Int
+  end
+  D = record(B)
+    y: Int
+  end
+
+proc f()
+var
+  b: ^B
+  d: ^const D
+begin
+  b := d (* @Error Expected type '\^B', but got '\^const D' *)
+return
+
+end.
-- 
cgit v1.2.3