diff --git a/collects/typed-racket/typecheck/tc-app-helper.rkt b/collects/typed-racket/typecheck/tc-app-helper.rkt
index b2bed3094e..02ab9d3fd8 100644
--- a/collects/typed-racket/typecheck/tc-app-helper.rkt
+++ b/collects/typed-racket/typecheck/tc-app-helper.rkt
@@ -74,6 +74,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])