diff --git a/collects/tests/typed-scheme/succeed/let-no-anns.rkt b/collects/tests/typed-scheme/succeed/let-no-anns.rkt
new file mode 100644
index 00000000..15ff1f3e
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/let-no-anns.rkt
@@ -0,0 +1,16 @@
+#lang typed/racket
+
+(let: ((x : Integer 3)
+       (y 4))
+      (+ x y))
+
+(let: ((x 3) (y 4))
+      (+ x y))
+
+(let*: ((x 3)
+        (y : Integer (+ x 1)))
+       (+ x y))
+
+(letrec: ((x 3)
+          (y : (Integer -> Integer) (lambda (x) (y x))))
+         x)