src/test/ui/type-alias-enum-variants/resolve-to-enum-variant-in-type-namespace-and-error.rs


1
2
3
4
5
6
7
8
9
10
11

// Check that the compiler will resolve `<E>::V` to the variant `V` in the type namespace
// but will reject this because `enum` variants do not exist in the type namespace.

enum E {
    V
}

fn check() -> <E>::V {}
//~^ ERROR expected type, found variant `V`

fn main() {}