Add tests for PR 15026

Fixed on HEAD, possibly due to new expander

Closes PR 15026

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)

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)