From 1e0f89df48ba10cdde80bd623b84e20fb48b977d Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Fri, 24 Jul 2026 21:28:33 +0200
Subject: Accept any constant types in case labels

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

(limited to 'testsuite/runnable/case_record.elna')

diff --git a/testsuite/runnable/case_record.elna b/testsuite/runnable/case_record.elna
new file mode 100644
index 0000000..4f65a5b
--- /dev/null
+++ b/testsuite/runnable/case_record.elna
@@ -0,0 +1,17 @@
+type
+  R = record
+    a: Int;
+    b: Int
+  end
+
+var
+  r: R := R{a: 1, b: 2}
+
+begin
+  case r of
+    R{a: 0, b: 0}: assert(false)
+  | R{a: 1, b: 2}: assert(true)
+  else
+    assert(false)
+  end
+end.
-- 
cgit v1.2.3