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 00000000..f3e6d4ce
--- /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 00000000..8323187a
--- /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 00000000..2c95d8cc
--- /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 00000000..d94b0ffb
--- /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 00000000..5c13b257
--- /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 00000000..df409d2c
--- /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 00000000..498f1dad
--- /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 00000000..f6f3ff2d
--- /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 00000000..00782c87
--- /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 00000000..d99f5b89
--- /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/lang/reader.rkt b/collects/typed/scheme/base/no-check/lang/reader.rkt
new file mode 100644
index 00000000..579a3f8f
--- /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/lang/reader.rkt b/collects/typed/scheme/no-check/lang/reader.rkt
new file mode 100644
index 00000000..1084e935
--- /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))