diff --git a/collects/tests/typed-scheme/succeed/pr11617.rkt b/collects/tests/typed-scheme/succeed/pr11617.rkt
new file mode 100644
index 0000000000..a530ebaacc
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/pr11617.rkt
@@ -0,0 +1,19 @@
+#lang racket/load
+
+(module A typed/racket
+  (provide (all-defined-out))
+  (struct: one ([thing : Any]))
+  (define-match-expander uno
+    (syntax-rules ()
+      [(_ x) (one x)]))
+  (match (one 2)
+    [(uno dos) dos]))
+
+(require 'A)
+
+(module B typed/racket
+  (require 'A)
+  (match (one 2)
+    [(uno dos) dos]))
+
+(require 'B)