From 5cdaceb77af6a1d98145f8afb34ce6884e21a3d6 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Sun, 26 Jul 2026 19:47:59 +0200 Subject: Type check traits properly --- testsuite/runnable/compile_time_address_not_equal.elna | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 testsuite/runnable/compile_time_address_not_equal.elna (limited to 'testsuite') diff --git a/testsuite/runnable/compile_time_address_not_equal.elna b/testsuite/runnable/compile_time_address_not_equal.elna new file mode 100644 index 0000000..b011227 --- /dev/null +++ b/testsuite/runnable/compile_time_address_not_equal.elna @@ -0,0 +1,7 @@ +var + x, y: const Int + z: const Bool := @x = @y + +begin + assert(~z) +end. -- cgit v1.2.3