tests/ui/type-alias-enum-variants/issue-57866.rs

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