diff --git a/typed-racket-lib/typed-racket/optimizer/pair.rkt b/typed-racket-lib/typed-racket/optimizer/pair.rkt
index 54f2b657..09fb59bd 100644
--- a/typed-racket-lib/typed-racket/optimizer/pair.rkt
+++ b/typed-racket-lib/typed-racket/optimizer/pair.rkt
@@ -137,9 +137,8 @@
                             [(tc-result1: t) t])]
                      [res #'e.arg])
               ([accessor (in-list (reverse (syntax->list #'e.alt)))])
-            #:break (not t)
             (cond
-             [(subtype t (-pair Univ Univ)) ; safe to optimize this one layer
+             [(and t (subtype t (-pair Univ Univ))) ; safe to optimize this one layer
               (syntax-parse accessor
                 [op:pair-op
                  (log-pair-opt)