diff --git a/collects/tests/typed-scheme/fail/cl-bug.ss b/collects/tests/typed-scheme/fail/cl-bug.ss
new file mode 100644
index 00000000..123d82e4
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/cl-bug.ss
@@ -0,0 +1,9 @@
+#lang typed-scheme
+
+(: f3 (case-lambda (Integer * -> Integer) (Number * -> Number)))
+(define (f3 x y) (+ x y))
+
+(+ 1 'foo)
+
+(: f2 (case-lambda (Number * -> Number)))
+(define (f2 x y) (+ x y))
\ No newline at end of file
diff --git a/collects/tests/typed-scheme/succeed/cl-bug.ss b/collects/tests/typed-scheme/succeed/cl-bug.ss
index 6b5a61c6..09b9327f 100644
--- a/collects/tests/typed-scheme/succeed/cl-bug.ss
+++ b/collects/tests/typed-scheme/succeed/cl-bug.ss
@@ -4,12 +4,4 @@
 (define (f . x) (+ 1 2))
 
 (: f4 (case-lambda (Integer * -> Integer) (Number * -> Number)))
-(define (f4 . x) (apply + x))
-
-(: f3 (case-lambda (Integer * -> Integer) (Number * -> Number)))
-(define (f3 x y) (+ x y))
-
-(+ 1 'foo)
-
-(: f2 (case-lambda (Number * -> Number)))
-(define (f2 x y) (+ x y))
\ No newline at end of file
+(define (f4 . x) (apply + x))
\ No newline at end of file