diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-06-09 02:57:50 +0200 |
|---|---|---|
| committer | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-06-15 19:18:09 +0200 |
| commit | 86422582dfa20a69d22ff421e0549a4546f275a9 (patch) | |
| tree | 6f88c027c2b01411574bfc85d79a7b940850ce40 | |
| parent | 0d27995b0dc38322180af4e2ea53b538aaca5075 (diff) | |
| download | rust-86422582dfa20a69d22ff421e0549a4546f275a9.tar.gz rust-86422582dfa20a69d22ff421e0549a4546f275a9.zip | |
Cleanup type-alias-enum-variants.rs test.
| -rw-r--r-- | src/test/ui/type-alias-enum-variants/type-alias-enum-variants.rs | 9 | ||||
| -rw-r--r-- | src/test/ui/type-alias-enum-variants/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 8fe9695aa59..c1153fa4dc7 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<T> = Option<T>; fn main() { let _ = Option::<u8>::None; // OK let _ = Option::None::<u8>; // OK (Lint in future!) let _ = Alias::<u8>::None; // OK - let _ = Alias::None::<u8>; // Error - //~^ type arguments are not allowed for this type + let _ = Alias::None::<u8>; //~ 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 0a03166b3b6..a8972a93002 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::<u8>; // Error +LL | let _ = Alias::None::<u8>; | ^^ type argument not allowed error: aborting due to previous error |