diff --git a/typed-racket-test/succeed/pr14521.rkt b/typed-racket-test/succeed/pr14521.rkt
new file mode 100644
index 00000000..71481768
--- /dev/null
+++ b/typed-racket-test/succeed/pr14521.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket
+
+;; Test for PR 14521, submodule with struct definition
+
+(module untyped racket
+  (provide (struct-out thing))
+  (struct thing ()))