diff --git a/collects/typed-racket/typecheck/tc-app-helper.rkt b/collects/typed-racket/typecheck/tc-app-helper.rkt
index 488d0af5..e9c705b3 100644
--- a/collects/typed-racket/typecheck/tc-app-helper.rkt
+++ b/collects/typed-racket/typecheck/tc-app-helper.rkt
@@ -75,6 +75,7 @@
   (match t
     [(tc-result1: t) t]
     [(tc-results: ts) (-values ts)]
+    [(tc-any-results:) ManyUniv]
     [_ t]))
 
 (define (stringify-domain dom rst drst [rng #f])