// Regression test for #15896. It used to ICE rustc.
fn main() {
enum R { REB(()) }
struct Tau { t: usize }
enum E { B(R, Tau) }
let e = E::B(R::REB(()), Tau { t: 3 });
let u = match e {
E::B(
Tau{t: x},
//~^ ERROR mismatched types
_) => x,
};
}