1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
// check-pass enum Outer<T> { A(T) } enum Inner { A(i32) } type OuterAlias = Outer<Inner>; fn ice(x: OuterAlias) { // Fine match x { OuterAlias::A(Inner::A(_)) => (), } // Not fine match x { OuterAlias::A(Inner::A(y)) => (), } } fn main() {}