diff options
Diffstat (limited to 'src/test/ui/type-alias-enum-variants/resolve-to-enum-variant-in-type-namespace-and-error.rs')
-rw-r--r-- | src/test/ui/type-alias-enum-variants/resolve-to-enum-variant-in-type-namespace-and-error.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/ui/type-alias-enum-variants/resolve-to-enum-variant-in-type-namespace-and-error.rs b/src/test/ui/type-alias-enum-variants/resolve-to-enum-variant-in-type-namespace-and-error.rs new file mode 100644 index 000000000..11f4b05d0 --- /dev/null +++ b/src/test/ui/type-alias-enum-variants/resolve-to-enum-variant-in-type-namespace-and-error.rs @@ -0,0 +1,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() {} |