diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt
index db121f12..f6fec418 100644
--- a/typed-racket-lib/typed-racket/base-env/prims.rkt
+++ b/typed-racket-lib/typed-racket/base-env/prims.rkt
@@ -201,6 +201,7 @@ the typed racket language.
   (let ([mk (lambda (form)
               (lambda (stx)
                 (syntax-parse stx
+                  #:context form
                   [(_ (bs:optionally-annotated-binding ...) . body)
                    (quasisyntax/loc stx (#,form (bs.binding ...) . body))])))])
     (values (mk #'let) (mk #'let*) (mk #'letrec))))
diff --git a/typed-racket-test/fail/let-internal-nameleak.rkt b/typed-racket-test/fail/let-internal-nameleak.rkt
new file mode 100644
index 00000000..96ccfeac
--- /dev/null
+++ b/typed-racket-test/fail/let-internal-nameleak.rkt
@@ -0,0 +1,4 @@
+#;
+(exn-pred exn:fail:syntax? #rx"let: expected identifier")
+#lang typed/racket
+(let ([() 5]) (void))