diff --git a/typed-racket-lib/typed-racket/private/type-contract.rkt b/typed-racket-lib/typed-racket/private/type-contract.rkt
index d8bb9899..dcadef11 100644
--- a/typed-racket-lib/typed-racket/private/type-contract.rkt
+++ b/typed-racket-lib/typed-racket/private/type-contract.rkt
@@ -9,7 +9,8 @@
  (utils tc-utils)
  (env type-name-env row-constraint-env)
  (rep core-rep rep-utils type-mask values-rep)
- (types resolve union utils printer abbrev)
+ (types resolve union utils printer)
+ (only-in (types abbrev) -Dead-Code)
  (prefix-in t: (types abbrev numeric-tower subtype))
  (private parse-type syntax-properties)
  racket/match racket/syntax racket/list
diff --git a/typed-racket-test/succeed/cast-mod.rkt b/typed-racket-test/succeed/cast-mod.rkt
index c94a6498..d07d18c9 100644
--- a/typed-racket-test/succeed/cast-mod.rkt
+++ b/typed-racket-test/succeed/cast-mod.rkt
@@ -117,7 +117,7 @@
                 1)
   (check-equal? (if #true 1 `#s(struct ,(cast 2 Integer) ,(cast 3 Integer)))
                 1)
-  (check-true ;; check that this doesn't have an internal error
+  (check-not-false ;; check that this doesn't have an internal error
    (λ () (begin
            (error "hi")
            (cast (string->number "42") Integer))))