tests/ui/type-alias-impl-trait/match-upvar-discriminant-of-opaque.rs


1
2
3
4
5
6
7
8
9
10
11
12

#![feature(type_alias_impl_trait)]

fn enum_upvar() {
    type T = impl Copy;
    let foo: T = Some((42, std::marker::PhantomData::<T>));
    let x = move || match foo {
        None => (),
        //~^ ERROR cannot resolve opaque type
    };
}

fn main() {}