#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)

Add a test case for struct-based match expanders.
Add a test case for struct-based match expanders.

Closes PR11617.

Using the taint system, the bug is fixed.
