diff --git a/typed-racket-test/succeed/pr15026-a.rkt b/typed-racket-test/succeed/pr15026-a.rkt
new file mode 100644
index 00000000..8b712cbc
--- /dev/null
+++ b/typed-racket-test/succeed/pr15026-a.rkt
@@ -0,0 +1,8 @@
+#lang typed/racket/base
+
+;; A test for PR 15026, works with pr15026-b.rkt
+
+(provide (all-defined-out))
+
+(define x 42)
+(define y 43)
diff --git a/typed-racket-test/succeed/pr15026-b.rkt b/typed-racket-test/succeed/pr15026-b.rkt
new file mode 100644
index 00000000..336decee
--- /dev/null
+++ b/typed-racket-test/succeed/pr15026-b.rkt
@@ -0,0 +1,9 @@
+#lang racket/base
+
+;; A test for PR 15026, goes with pr15026-a.rkt
+;;
+;; Should not segfault
+
+(module+ test
+  (require (except-in "pr15026-a.rkt" x))
+  y)