diff --git a/collects/tests/typed-scheme/fail/formal-len-mismatches.ss b/collects/tests/typed-scheme/fail/formal-len-mismatches.ss
new file mode 100644
index 00000000..bd640a06
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/formal-len-mismatches.ss
@@ -0,0 +1,17 @@
+#lang typed-scheme
+
+(: f (Integer Integer Integer * -> Integer))
+(define (f x)
+  (+ #\c x))
+
+(: f2 (Integer Integer * -> Integer))
+(define (f2 x y . z)
+  (apply + #\c x y z))
+
+(: f4 (Integer Integer -> Integer))
+(define (f4 x y w . z)
+  (apply + #\c x y w z))
+
+(: f3 (Integer Integer -> Integer))
+(define (f3 x . z)
+  (apply + #\c x z))
\ No newline at end of file