tests/ui/type-alias-impl-trait/bad-tait-no-substs.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// regression test for #127353

#![feature(type_alias_impl_trait)]
trait Trait<T> {}
type Alias<'a, U> = impl Trait<U>;

pub enum UninhabitedVariants {
    Tuple(Alias),
    //~^ ERROR missing lifetime specifier
    //~| ERROR missing generics
}

#[define_opaque(Alias)]
fn uwu(x: UninhabitedVariants) {
    match x {}
    //~^ ERROR non-exhaustive patterns
}

fn main() {}