diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
index bd6c76c2bd..478a1d06ed 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
@@ -481,7 +481,7 @@
       constraints
       (extend-and-loop form fresh-ns
                        formals bodies (ret expected*)))]
-    [(or (tc-results: _) (tc-any-results:) #f)
+    [_
      (define lengths
        (for/set ((tvars (in-list tvarss)))
          (match tvars
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 9ccff2fcd0..510633529a 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -2953,6 +2953,10 @@
          (tr:lambda (x #:y [y 3]) x)
          #:ret (ret (->key Univ #:y Univ #f Univ) -true-filter)
          #:expected (ret (->key Univ #:y Univ #f Univ) -no-filter)]
+       [tc-err
+         (lambda xs (plambda: (b) ([x : Any]) 3))
+         #:ret (ret (-polydots (a) (->... (list) (a a) (-values-dots (list) a 'a))))
+         #:expected (ret (-polydots (a) (->... (list) (a a) (-values-dots (list) a 'a))))]
 
 
         )