diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt
index 1b3f7305..bd5755a9 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt
@@ -113,11 +113,6 @@
      (if (= (length ts) (length ts2))
          (ret ts2 fs os)
          (ret ts2))]
-    [((tc-result1: t1 f1 o1) (tc-result1: t2 (FilterSet: (Top:) (Top:)) (Empty:)))
-     (cond
-       [(not (subtype t1 t2))
-        (expected-but-got t2 t1)])
-     expected]
     [((tc-result1: t1 f1 o1) (tc-result1: t2 f2 o2))
      (cond
        [(not (subtype t1 t2))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt
index 0e8dd520..93527cb6 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt
@@ -78,6 +78,10 @@
       (ret (list Univ) (list -no-filter) (list -no-obj))
       #:result (ret (list Univ) (list -top-filter) (list -empty-obj)))
 
+    (test-below
+      (ret (list -Symbol) (list -true-filter) (list -empty-obj))
+      (ret (list Univ) (list -top-filter) (list -empty-obj)))
+
     (test-below #:fail
       (ret (list -Symbol) (list -top-filter) (list -empty-obj))
       (ret (list Univ) (list -true-filter) (list -no-obj))