diff --git a/typed-racket-lib/typed-racket/base-env/extra-env-lang.rkt b/typed-racket-lib/typed-racket/base-env/extra-env-lang.rkt
index e2c9d1ab..99beef4a 100644
--- a/typed-racket-lib/typed-racket/base-env/extra-env-lang.rkt
+++ b/typed-racket-lib/typed-racket/base-env/extra-env-lang.rkt
@@ -100,6 +100,7 @@
          (begin-for-syntax
           (module* #%type-decl #f
                    (#%plain-module-begin ;; avoid top-level printing and config
+                    (#%declare #:empty-namespace) ;; avoid binding info from here
                     (require typed-racket/types/numeric-tower typed-racket/env/type-name-env
                              typed-racket/env/global-env typed-racket/env/type-alias-env
                              typed-racket/types/struct-table typed-racket/types/abbrev
diff --git a/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt b/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
index c1c906da..99eec55c 100644
--- a/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
+++ b/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
@@ -407,6 +407,7 @@
            (begin-for-syntax
              (module* #%type-decl #f
                (#%plain-module-begin ;; avoid top-level printing and config
+                (#%declare #:empty-namespace) ;; avoid binding info from here
                 (require typed-racket/types/numeric-tower typed-racket/env/type-name-env
                          typed-racket/env/global-env typed-racket/env/type-alias-env
                          typed-racket/types/struct-table typed-racket/types/abbrev
@@ -469,8 +470,9 @@
            ;; itself) at the runtime of typed modules that don't need
            ;; them. This is similar to the reason for the
            ;; `#%type-decl` submodule. 
-           (module* #%contract-defs #f 
+           (module* #%contract-defs #f
              (#%plain-module-begin
+              (#%declare #:empty-namespace) ;; avoid binding info from here
               #,extra-requires
               new-defs ...)))
        #`(begin