Add a test case for struct-based match expanders.

Closes PR11617.

Using the taint system, the bug is fixed.

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)