diff --git a/src/test/ui/type-alias-enum-variants/type-alias-enum-variants.rs b/src/test/ui/type-alias-enum-variants/type-alias-enum-variants.rs index 8fe9695aa596..c1153fa4dc7b 100644 --- a/src/test/ui/type-alias-enum-variants/type-alias-enum-variants.rs +++ b/src/test/ui/type-alias-enum-variants/type-alias-enum-variants.rs @@ -1,9 +1,14 @@ +// Check that a generic type for an `enum` admits type application +// on both the type constructor and the generic type's variant. +// +// Also check that a type alias to said generic type admits type application +// on the type constructor but *NOT* the variant. + type Alias = Option; fn main() { let _ = Option::::None; // OK let _ = Option::None::; // OK (Lint in future!) let _ = Alias::::None; // OK - let _ = Alias::None::; // Error - //~^ type arguments are not allowed for this type + let _ = Alias::None::; //~ ERROR type arguments are not allowed for this type } diff --git a/src/test/ui/type-alias-enum-variants/type-alias-enum-variants.stderr b/src/test/ui/type-alias-enum-variants/type-alias-enum-variants.stderr index 0a03166b3b6c..a8972a93002f 100644 --- a/src/test/ui/type-alias-enum-variants/type-alias-enum-variants.stderr +++ b/src/test/ui/type-alias-enum-variants/type-alias-enum-variants.stderr @@ -1,7 +1,7 @@ error[E0109]: type arguments are not allowed for this type - --> $DIR/type-alias-enum-variants.rs:7:27 + --> $DIR/type-alias-enum-variants.rs:13:27 | -LL | let _ = Alias::None::; // Error +LL | let _ = Alias::None::; | ^^ type argument not allowed error: aborting due to previous error