From 0f5e9f00b07606871a6289060fa904555d41ae7d Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Mon, 31 Aug 2026 17:18:39 +0200
Subject: Reject comparison of uncompatible types

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

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

diff --git a/testsuite/runnable/case_constant_label.elna b/testsuite/runnable/case_constant_label.elna
new file mode 100644
index 0000000..5d55e9f
--- /dev/null
+++ b/testsuite/runnable/case_constant_label.elna
@@ -0,0 +1,13 @@
+var
+  base: const Int := 2
+  limit: const Int := base
+  x: Int := 2
+  matched: Bool := false
+
+begin
+  case x of
+    1: assert(false)
+  | limit: matched := true
+  end;
+  assert(matched)
+end.
-- 
cgit v1.2.3