diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
index 1afd30ef..848b2f87 100644
--- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
@@ -719,6 +719,11 @@
         [tc-e (apply values (list 1 2 3)) #:ret (ret (list -Integer -Integer -Integer))]
         
         [tc-e (ann (if #t 3 "foo") Integer) -Integer]
+        
+        [tc-e/t (plambda: (a ...) ([x : Number] . [y : a ... a])
+                          (andmap null? (map list y)))
+                (-polydots (a) ((list -Number) (a a) . ->... . -Boolean))]
+        [tc-e (ann (error 'foo) (values Number Number)) #:ret (ret (list -Number -Number))]
         #;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))])
                         (fact 20))]