From 86422582dfa20a69d22ff421e0549a4546f275a9 Mon Sep 17 00:00:00 2001 From: Mazdak Farrokhzad Date: Sun, 9 Jun 2019 02:57:50 +0200 Subject: [PATCH] Cleanup type-alias-enum-variants.rs test. --- .../type-alias-enum-variants/type-alias-enum-variants.rs | 9 +++++++-- .../type-alias-enum-variants.stderr | 4 ++-- 2 files changed, 9 insertions(+), 4 deletions(-) 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