diff --git a/collects/tests/typed-racket/unit-tests/parse-type-tests.rkt b/collects/tests/typed-racket/unit-tests/parse-type-tests.rkt
index 4cd5329696..8ce81f5bf5 100644
--- a/collects/tests/typed-racket/unit-tests/parse-type-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/parse-type-tests.rkt
@@ -29,6 +29,8 @@
         [ty (cdr pr)])
     (register-resolved-type-alias (datum->syntax #'here (syntax->datum nm)) ty)))
 
+(dynamic-require '(submod typed-racket/base-env/base-types #%type-decl) #f)
+
 (define-syntax (run-one stx)
   (syntax-case stx ()
     [(_ ty) (syntax/loc stx
diff --git a/collects/tests/typed-racket/unit-tests/type-annotation-test.rkt b/collects/tests/typed-racket/unit-tests/type-annotation-test.rkt
index 7bbf7883b3..ad921a2013 100644
--- a/collects/tests/typed-racket/unit-tests/type-annotation-test.rkt
+++ b/collects/tests/typed-racket/unit-tests/type-annotation-test.rkt
@@ -9,6 +9,8 @@
          (rep type-rep filter-rep object-rep)
          rackunit)
 
+(dynamic-require '(submod typed-racket/base-env/base-types #%type-decl) #f)
+
 (provide type-annotation-tests)
 
 (define-syntax-rule (tat ann-stx ty)
diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 69551022c1..22b47dad4f 100644
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -43,6 +43,7 @@
 (provide typecheck-tests g tc-expr/expand)
 
 (b:init) (n:init) (initialize-structs) (initialize-indexing) 
+(dynamic-require '(submod typed-racket/base-env/base-types #%type-decl) #f)
 
 (define N -Number)
 (define B -Boolean)
diff --git a/collects/typed-racket/typed-racket.rkt b/collects/typed-racket/typed-racket.rkt
index 2112c4e814..6476ddd8f0 100644
--- a/collects/typed-racket/typed-racket.rkt
+++ b/collects/typed-racket/typed-racket.rkt
@@ -6,6 +6,7 @@
  ;; the below requires are needed since they provide identifiers
  ;; that may appear in the residual program
  "utils/utils.rkt"
+ (for-syntax "utils/utils.rkt")
  "utils/any-wrap.rkt" unstable/contract)
 
 (provide (rename-out [module-begin #%module-begin]