diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt
index a3d6bd1778..f7a95a4c73 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt
@@ -12,8 +12,10 @@
 (provide tc-setup invis-kw maybe-optimize init-current-type-names)
 
 (define-syntax-class invis-kw
-  #:literals (define-values define-syntaxes #%require #%provide #%declare begin)
-  (pattern (~or define-values define-syntaxes #%require #%provide #%declare begin)))
+  #:literals (define-values define-syntaxes #%require
+              #%provide #%declare begin begin-for-syntax)
+  (pattern (~or define-values define-syntaxes #%require
+                #%provide #%declare begin begin-for-syntax)))
 
 (define (maybe-optimize body)
   ;; do we optimize?
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/top-level-begin-for-syntax.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/top-level-begin-for-syntax.rkt
new file mode 100644
index 0000000000..17e6a05f93
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/top-level-begin-for-syntax.rkt
@@ -0,0 +1,8 @@
+#lang racket/load
+
+;; Test for PR 13878, ensure that this doesn't produce
+;; an internal type-checker error
+
+(require typed/racket)
+(begin-for-syntax 3)
+