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