diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/current-seen.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/current-seen.rkt
index ab9160be..f44c56a3 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/current-seen.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/current-seen.rkt
@@ -8,7 +8,7 @@
 (define (current-seen)
   (continuation-mark-set-first #f current-seen-mark null))
 (define (currently-subtyping?)
-  (and (continuation-mark-set-first #f current-seen-mark) #t))
+  (continuation-mark-set-first #f current-seen-mark))
 (define-syntax-rule (update-current-seen new-value body)
   (with-continuation-mark current-seen-mark new-value body))