diff --git a/collects/tests/typed-racket/succeed/standard-features-base.rkt b/collects/tests/typed-racket/succeed/standard-features-base.rkt
new file mode 100644
index 0000000000..f3e6d4ceeb
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-base.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket/base
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check-base.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check-base.rkt
new file mode 100644
index 0000000000..8323187a68
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-no-check-base.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket/base/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check-scheme-base.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check-scheme-base.rkt
new file mode 100644
index 0000000000..2c95d8cc2d
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-no-check-scheme-base.rkt
@@ -0,0 +1,7 @@
+#lang typed/scheme/base/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check-scheme.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check-scheme.rkt
new file mode 100644
index 0000000000..d94b0ffb00
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-no-check-scheme.rkt
@@ -0,0 +1,7 @@
+#lang typed/scheme/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check-ts.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check-ts.rkt
new file mode 100644
index 0000000000..5c13b257ca
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-no-check-ts.rkt
@@ -0,0 +1,7 @@
+#lang typed-scheme/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check.rkt
new file mode 100644
index 0000000000..df409d2c7e
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-no-check.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features-scheme-base.rkt b/collects/tests/typed-racket/succeed/standard-features-scheme-base.rkt
new file mode 100644
index 0000000000..498f1dad7b
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-scheme-base.rkt
@@ -0,0 +1,7 @@
+#lang typed/scheme/base
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features-scheme.rkt b/collects/tests/typed-racket/succeed/standard-features-scheme.rkt
new file mode 100644
index 0000000000..f6f3ff2d38
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-scheme.rkt
@@ -0,0 +1,7 @@
+#lang typed/scheme
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features-ts.rkt b/collects/tests/typed-racket/succeed/standard-features-ts.rkt
new file mode 100644
index 0000000000..00782c87f9
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features-ts.rkt
@@ -0,0 +1,7 @@
+#lang typed-scheme
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/tests/typed-racket/succeed/standard-features.rkt b/collects/tests/typed-racket/succeed/standard-features.rkt
new file mode 100644
index 0000000000..d99f5b89ec
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/standard-features.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+
diff --git a/collects/typed/scheme/base/no-check.rkt b/collects/typed/scheme/base/no-check.rkt
new file mode 100644
index 0000000000..d8d95d096f
--- /dev/null
+++ b/collects/typed/scheme/base/no-check.rkt
@@ -0,0 +1,4 @@
+#lang typed-racket/minimal
+
+(require racket/require typed-scheme/no-check (subtract-in typed/scheme/base typed-scheme/no-check))
+(provide (all-from-out typed/scheme/base typed-scheme/no-check))
diff --git a/collects/typed/scheme/base/no-check/lang/reader.rkt b/collects/typed/scheme/base/no-check/lang/reader.rkt
new file mode 100644
index 0000000000..579a3f8f20
--- /dev/null
+++ b/collects/typed/scheme/base/no-check/lang/reader.rkt
@@ -0,0 +1,8 @@
+#lang s-exp syntax/module-reader
+
+typed/scheme/base/no-check
+
+#:read r:read
+#:read-syntax r:read-syntax
+
+(require (prefix-in r: typed-racket/typed-reader))
diff --git a/collects/typed/scheme/no-check.rkt b/collects/typed/scheme/no-check.rkt
new file mode 100644
index 0000000000..0f74ed198e
--- /dev/null
+++ b/collects/typed/scheme/no-check.rkt
@@ -0,0 +1,4 @@
+#lang typed-racket/minimal
+
+(require racket/require typed-scheme/no-check (subtract-in typed/scheme typed-scheme/no-check))
+(provide (all-from-out typed/scheme typed-scheme/no-check))
diff --git a/collects/typed/scheme/no-check/lang/reader.rkt b/collects/typed/scheme/no-check/lang/reader.rkt
new file mode 100644
index 0000000000..1084e9350a
--- /dev/null
+++ b/collects/typed/scheme/no-check/lang/reader.rkt
@@ -0,0 +1,8 @@
+#lang s-exp syntax/module-reader
+
+typed/scheme/no-check
+
+#:read r:read
+#:read-syntax r:read-syntax
+
+(require (prefix-in r: typed-racket/typed-reader))