Fix printing of tc-any-results in type errors.

In the long run, these error messages should get
simplified so that this printing is not necessary.

Closes PR 13577 and PR 13526

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])