diff --git a/collects/tests/typed-scheme/fail/unbound-type.ss b/collects/tests/typed-scheme/fail/unbound-type.ss
new file mode 100644
index 00000000..3ae769ab
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/unbound-type.ss
@@ -0,0 +1,9 @@
+#;
+(exn-pred 1)
+#lang typed-scheme
+
+
+(: f (Foo -> String))
+(define (f x) (string-append x))
+
+(f 1)
\ No newline at end of file