diff --git a/collects/tests/typed-racket/succeed/pr13503.rkt b/collects/tests/typed-racket/succeed/pr13503.rkt
new file mode 100644
index 00000000..ede1c308
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/pr13503.rkt
@@ -0,0 +1,5 @@
+#lang racket/load
+(require typed/racket)
+(:print-type +)
+(:print-type (values 2 3 4))
+(:print-type (error 'ManyTypes))
diff --git a/collects/typed-racket/core.rkt b/collects/typed-racket/core.rkt
index ecc968a0..05f0bd8e 100644
--- a/collects/typed-racket/core.rkt
+++ b/collects/typed-racket/core.rkt
@@ -60,7 +60,8 @@
                   #,(parameterize ([print-multi-line-case-> #t])
                       (format "~a\n" (match type
                                        [(tc-result1: t f o) t]
-                                       [(tc-results: t) (cons 'Values t)])))))]
+                                       [(tc-results: t) (cons 'Values t)]
+                                       [(tc-any-results:) ManyUniv])))))]
     ;; given a function and input types, display the result type
     [(_ . ((~literal :query-type/args) op:expr arg-type:expr ...))
      (with-syntax ([(dummy-arg ...) (generate-temporaries #'(arg-type ...))])