diff --git a/tests/should_err/callable.er b/tests/should_err/callable.er
new file mode 100644
index 00000000..de6a2fd0
--- /dev/null
+++ b/tests/should_err/callable.er
@@ -0,0 +1,13 @@
+print! 1 2 # ERR
+
+f = 1
+print! f 2 # ERR
+
+f2 x: Int = x
+print! f2(1) 2 # ERR
+
+f3 x = x
+print! f3(1) 2 # ERR
+
+f4 x = (y) => x
+print! f4(1) 2 # OK
diff --git a/tests/test.rs b/tests/test.rs
index 8e9f2e4b..391e4c83 100644
--- a/tests/test.rs
+++ b/tests/test.rs
@@ -204,3 +204,8 @@ fn exec_side_effect() -> Result<(), ()> {
 fn exec_subtyping() -> Result<(), ()> {
     expect_failure("tests/should_err/subtyping.er", 2)
 }
+
+#[test]
+fn exec_callable() -> Result<(), ()> {
+    expect_failure("tests/should_err/callable.er", 4)
+}