tests/ui/type-alias-impl-trait/issue-96572-unconstrained-mismatch.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 fn main() {
   4     type T = impl Copy;
   5     let foo: T = Some((1u32, 2u32));
   6     match foo {
   7         None => (),
   8         Some((a, b, c)) => (), //~ ERROR mismatched types
   9     }
  10 }