From df51f9c4ee0ee4ac22206513bcd60e6928b7eaeb Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Tue, 25 Aug 2026 13:31:38 +0200
Subject: Fix compatible procedure cast

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

(limited to 'testsuite')

diff --git a/testsuite/runnable/procedure_cast.elna b/testsuite/runnable/procedure_cast.elna
new file mode 100644
index 0000000..27977e1
--- /dev/null
+++ b/testsuite/runnable/procedure_cast.elna
@@ -0,0 +1,9 @@
+var cb: proc(x: ^Char): Int
+
+proc probe_int(x: ^Int): Int
+return 42
+
+begin
+  cb := cast(probe_int: proc(x: ^Char): Int);
+  assert(cb(nil) = 42)
+end.
-- 
cgit v1.2.3