diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt
new file mode 100644
index 0000000000..15fd59cce9
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt
@@ -0,0 +1,10 @@
+#lang racket
+
+(void (putenv "PLT_TR_CONTRACTS" "1"))
+
+(define ns (make-base-namespace))
+(current-namespace ns)
+(use-compiled-file-paths null)
+
+((dynamic-require 'tests/typed-racket/main 'go/text)
+ (dynamic-require 'tests/typed-racket/main 'unit-tests))