diff --git a/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt b/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
index 6331ea3f..e7e90c6b 100644
--- a/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
+++ b/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
@@ -251,7 +251,8 @@
                                    restricted))
                (if (null? possibles)
                    #f
-                   possibles)]))
+                   possibles)]
+              [_ #f]))
        =>
        (lambda (x)
          (register-ignored! (car (syntax-e body)))
diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt
index 408901a0..4a458ab1 100644
--- a/typed-racket-test/unit-tests/typecheck-tests.rkt
+++ b/typed-racket-test/unit-tests/typecheck-tests.rkt
@@ -3463,12 +3463,11 @@
           (raise "foo"))
         #:ret (ret -String)
         #:msg #rx"expected: String.*given: Any"]
-       [tc-err
+       [tc-e
         (with-handlers ([string? (lambda: ([e : String]) (string-append e "bar"))]
                         [symbol? (lambda (x) (symbol->string x))])
           (raise 'foo))
-        #:ret (ret -String)
-        #:msg #rx"expected: Symbol.*given: Any"]
+        #:ret (ret -String)]
 
        [tc-err
         (raise (λ ([x : Number]) (add1 x)))]