diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt
index acf3e798..db9f8184 100644
--- a/typed-racket-test/unit-tests/typecheck-tests.rkt
+++ b/typed-racket-test/unit-tests/typecheck-tests.rkt
@@ -2377,7 +2377,8 @@
                      (lambda: ([s1 : (U Number Symbol String)] [s2 : Symbol])
                        (= (string-length (format "~a" s1))
                           (string-length (symbol->string s2)))))
-             (t:Un (-val #f) (-lst (one-of/c 'a 'b 'c)))]
+             (t:Un (-val #f)
+                   (-pair (one-of/c 'a 'b 'c) (-lst (one-of/c 'a 'b 'c))))]
        [tc-e (assoc 3
                     '((a . #(a)) (b . #(b)) (c . #(c)))
                     (lambda: ([s1 : (U Number Symbol String)] [s2 : String])