From c65c64a0c72099fa6a037e3c9507acf20b6cadf1 Mon Sep 17 00:00:00 2001
From: Akuli <akuviljanen17@gmail.com>
Date: Tue, 19 Dec 2023 14:08:41 +0200
Subject: [PATCH] aa

---
 tests/wrong_type/pointer_to_int.jou | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 tests/wrong_type/pointer_to_int.jou

diff --git a/tests/wrong_type/pointer_to_int.jou b/tests/wrong_type/pointer_to_int.jou
new file mode 100644
index 00000000..8b8a943f
--- /dev/null
+++ b/tests/wrong_type/pointer_to_int.jou
@@ -0,0 +1,4 @@
+def foo() -> None:
+    # Pointers (64-bit) do not fit in int (32-bit), so compiler errors
+    x = 1
+    y = &x as int  # Error: cannot cast from type int* to int