mirror of https://github.com/rust-lang/rust
513 lines
17 KiB
Plaintext
513 lines
17 KiB
Plaintext
error[E0308]: mismatched types
|
|
--> $DIR/enum-variant-generic-args.rs:13:25
|
|
|
|
|
LL | impl<T> Enum<T> {
|
|
| - expected this type parameter
|
|
LL | fn ts_variant() {
|
|
LL | Self::TSVariant(());
|
|
| --------------- ^^ expected type parameter `T`, found `()`
|
|
| |
|
|
| arguments to this enum variant are incorrect
|
|
|
|
|
= note: expected type parameter `T`
|
|
found unit type `()`
|
|
note: tuple variant defined here
|
|
--> $DIR/enum-variant-generic-args.rs:7:16
|
|
|
|
|
LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
|
|
| ^^^^^^^^^
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:15:27
|
|
|
|
|
LL | Self::TSVariant::<()>(());
|
|
| --------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0109]: type arguments are not allowed on self type
|
|
--> $DIR/enum-variant-generic-args.rs:17:16
|
|
|
|
|
LL | Self::<()>::TSVariant(());
|
|
| ---- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on self type
|
|
|
|
|
note: `Self` is of type `Enum<T>`
|
|
--> $DIR/enum-variant-generic-args.rs:7:6
|
|
|
|
|
LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
|
|
| ^^^^ `Self` corresponds to this type
|
|
...
|
|
LL | impl<T> Enum<T> {
|
|
| --------------- `Self` is on type `Enum` in this `impl`
|
|
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
|
|
|
|
|
LL | Enum::<()>::TSVariant(());
|
|
| ~~~~
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/enum-variant-generic-args.rs:17:31
|
|
|
|
|
LL | impl<T> Enum<T> {
|
|
| - expected this type parameter
|
|
...
|
|
LL | Self::<()>::TSVariant(());
|
|
| --------------------- ^^ expected type parameter `T`, found `()`
|
|
| |
|
|
| arguments to this enum variant are incorrect
|
|
|
|
|
= note: expected type parameter `T`
|
|
found unit type `()`
|
|
note: tuple variant defined here
|
|
--> $DIR/enum-variant-generic-args.rs:7:16
|
|
|
|
|
LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
|
|
| ^^^^^^^^^
|
|
|
|
error[E0109]: type arguments are not allowed on self type
|
|
--> $DIR/enum-variant-generic-args.rs:20:16
|
|
|
|
|
LL | Self::<()>::TSVariant::<()>(());
|
|
| ---- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on self type
|
|
|
|
|
note: `Self` is of type `Enum<T>`
|
|
--> $DIR/enum-variant-generic-args.rs:7:6
|
|
|
|
|
LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
|
|
| ^^^^ `Self` corresponds to this type
|
|
...
|
|
LL | impl<T> Enum<T> {
|
|
| --------------- `Self` is on type `Enum` in this `impl`
|
|
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
|
|
|
|
|
LL | Enum::<()>::TSVariant::<()>(());
|
|
| ~~~~
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:20:33
|
|
|
|
|
LL | Self::<()>::TSVariant::<()>(());
|
|
| --------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/enum-variant-generic-args.rs:26:29
|
|
|
|
|
LL | impl<T> Enum<T> {
|
|
| - expected this type parameter
|
|
...
|
|
LL | Self::SVariant { v: () };
|
|
| ^^ expected type parameter `T`, found `()`
|
|
|
|
|
= note: expected type parameter `T`
|
|
found unit type `()`
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:28:26
|
|
|
|
|
LL | Self::SVariant::<()> { v: () };
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
|
= note: enum variants can't have type parameters
|
|
help: you might have meant to specify type parameters on enum `Enum`
|
|
|
|
|
LL - Self::SVariant::<()> { v: () };
|
|
LL + Enum::<()>::SVariant { v: () };
|
|
|
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/enum-variant-generic-args.rs:28:35
|
|
|
|
|
LL | impl<T> Enum<T> {
|
|
| - expected this type parameter
|
|
...
|
|
LL | Self::SVariant::<()> { v: () };
|
|
| ^^ expected type parameter `T`, found `()`
|
|
|
|
|
= note: expected type parameter `T`
|
|
found unit type `()`
|
|
|
|
error[E0109]: type arguments are not allowed on self type
|
|
--> $DIR/enum-variant-generic-args.rs:31:16
|
|
|
|
|
LL | Self::<()>::SVariant { v: () };
|
|
| ---- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on self type
|
|
|
|
|
note: `Self` is of type `Enum<T>`
|
|
--> $DIR/enum-variant-generic-args.rs:7:6
|
|
|
|
|
LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
|
|
| ^^^^ `Self` corresponds to this type
|
|
...
|
|
LL | impl<T> Enum<T> {
|
|
| --------------- `Self` is on type `Enum` in this `impl`
|
|
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
|
|
|
|
|
LL | Enum::<()>::SVariant { v: () };
|
|
| ~~~~
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/enum-variant-generic-args.rs:31:35
|
|
|
|
|
LL | impl<T> Enum<T> {
|
|
| - expected this type parameter
|
|
...
|
|
LL | Self::<()>::SVariant { v: () };
|
|
| ^^ expected type parameter `T`, found `()`
|
|
|
|
|
= note: expected type parameter `T`
|
|
found unit type `()`
|
|
|
|
error[E0109]: type arguments are not allowed on self type
|
|
--> $DIR/enum-variant-generic-args.rs:34:16
|
|
|
|
|
LL | Self::<()>::SVariant::<()> { v: () };
|
|
| ---- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on self type
|
|
|
|
|
note: `Self` is of type `Enum<T>`
|
|
--> $DIR/enum-variant-generic-args.rs:7:6
|
|
|
|
|
LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
|
|
| ^^^^ `Self` corresponds to this type
|
|
...
|
|
LL | impl<T> Enum<T> {
|
|
| --------------- `Self` is on type `Enum` in this `impl`
|
|
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
|
|
|
|
|
LL | Enum::<()>::SVariant::<()> { v: () };
|
|
| ~~~~
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:34:32
|
|
|
|
|
LL | Self::<()>::SVariant::<()> { v: () };
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
|
= note: enum variants can't have type parameters
|
|
help: you might have meant to specify type parameters on enum `Enum`
|
|
|
|
|
LL - Self::<()>::SVariant::<()> { v: () };
|
|
LL + Enum::<()>::SVariant { v: () };
|
|
|
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/enum-variant-generic-args.rs:34:41
|
|
|
|
|
LL | impl<T> Enum<T> {
|
|
| - expected this type parameter
|
|
...
|
|
LL | Self::<()>::SVariant::<()> { v: () };
|
|
| ^^ expected type parameter `T`, found `()`
|
|
|
|
|
= note: expected type parameter `T`
|
|
found unit type `()`
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:41:26
|
|
|
|
|
LL | Self::UVariant::<()>;
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0109]: type arguments are not allowed on self type
|
|
--> $DIR/enum-variant-generic-args.rs:43:16
|
|
|
|
|
LL | Self::<()>::UVariant;
|
|
| ---- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on self type
|
|
|
|
|
note: `Self` is of type `Enum<T>`
|
|
--> $DIR/enum-variant-generic-args.rs:7:6
|
|
|
|
|
LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
|
|
| ^^^^ `Self` corresponds to this type
|
|
...
|
|
LL | impl<T> Enum<T> {
|
|
| --------------- `Self` is on type `Enum` in this `impl`
|
|
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
|
|
|
|
|
LL | Enum::<()>::UVariant;
|
|
| ~~~~
|
|
|
|
error[E0109]: type arguments are not allowed on self type
|
|
--> $DIR/enum-variant-generic-args.rs:45:16
|
|
|
|
|
LL | Self::<()>::UVariant::<()>;
|
|
| ---- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on self type
|
|
|
|
|
note: `Self` is of type `Enum<T>`
|
|
--> $DIR/enum-variant-generic-args.rs:7:6
|
|
|
|
|
LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
|
|
| ^^^^ `Self` corresponds to this type
|
|
...
|
|
LL | impl<T> Enum<T> {
|
|
| --------------- `Self` is on type `Enum` in this `impl`
|
|
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
|
|
|
|
|
LL | Enum::<()>::UVariant::<()>;
|
|
| ~~~~
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:45:32
|
|
|
|
|
LL | Self::<()>::UVariant::<()>;
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0109]: type arguments are not allowed on tuple variant `TSVariant`
|
|
--> $DIR/enum-variant-generic-args.rs:54:29
|
|
|
|
|
LL | Enum::<()>::TSVariant::<()>(());
|
|
| --------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on tuple variant `TSVariant`
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:57:24
|
|
|
|
|
LL | Alias::TSVariant::<()>(());
|
|
| --------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:59:30
|
|
|
|
|
LL | Alias::<()>::TSVariant::<()>(());
|
|
| --------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:62:29
|
|
|
|
|
LL | AliasFixed::TSVariant::<()>(());
|
|
| --------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
|
--> $DIR/enum-variant-generic-args.rs:64:5
|
|
|
|
|
LL | AliasFixed::<()>::TSVariant(());
|
|
| ^^^^^^^^^^------ help: remove these generics
|
|
| |
|
|
| expected 0 generic arguments
|
|
|
|
|
note: type alias defined here, with 0 generic parameters
|
|
--> $DIR/enum-variant-generic-args.rs:9:6
|
|
|
|
|
LL | type AliasFixed = Enum<()>;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
|
--> $DIR/enum-variant-generic-args.rs:66:5
|
|
|
|
|
LL | AliasFixed::<()>::TSVariant::<()>(());
|
|
| ^^^^^^^^^^------ help: remove these generics
|
|
| |
|
|
| expected 0 generic arguments
|
|
|
|
|
note: type alias defined here, with 0 generic parameters
|
|
--> $DIR/enum-variant-generic-args.rs:9:6
|
|
|
|
|
LL | type AliasFixed = Enum<()>;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:66:35
|
|
|
|
|
LL | AliasFixed::<()>::TSVariant::<()>(());
|
|
| --------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0109]: type arguments are not allowed on variant `SVariant`
|
|
--> $DIR/enum-variant-generic-args.rs:72:28
|
|
|
|
|
LL | Enum::<()>::SVariant::<()> { v: () };
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on variant `SVariant`
|
|
|
|
|
= note: enum variants can't have type parameters
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:75:23
|
|
|
|
|
LL | Alias::SVariant::<()> { v: () };
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
|
= note: enum variants can't have type parameters
|
|
help: you might have meant to specify type parameters on enum `Enum`
|
|
|
|
|
LL - Alias::SVariant::<()> { v: () };
|
|
LL + Alias::<()>::SVariant { v: () };
|
|
|
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:77:29
|
|
|
|
|
LL | Alias::<()>::SVariant::<()> { v: () };
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
|
= note: enum variants can't have type parameters
|
|
help: you might have meant to specify type parameters on enum `Enum`
|
|
|
|
|
LL - Alias::<()>::SVariant::<()> { v: () };
|
|
LL + Alias::<()>::SVariant { v: () };
|
|
|
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:80:28
|
|
|
|
|
LL | AliasFixed::SVariant::<()> { v: () };
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
|
= note: enum variants can't have type parameters
|
|
help: you might have meant to specify type parameters on enum `Enum`
|
|
|
|
|
LL - AliasFixed::SVariant::<()> { v: () };
|
|
LL + AliasFixed::<()>::SVariant { v: () };
|
|
|
|
|
|
|
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
|
--> $DIR/enum-variant-generic-args.rs:82:5
|
|
|
|
|
LL | AliasFixed::<()>::SVariant { v: () };
|
|
| ^^^^^^^^^^------ help: remove these generics
|
|
| |
|
|
| expected 0 generic arguments
|
|
|
|
|
note: type alias defined here, with 0 generic parameters
|
|
--> $DIR/enum-variant-generic-args.rs:9:6
|
|
|
|
|
LL | type AliasFixed = Enum<()>;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
|
--> $DIR/enum-variant-generic-args.rs:84:5
|
|
|
|
|
LL | AliasFixed::<()>::SVariant::<()> { v: () };
|
|
| ^^^^^^^^^^------ help: remove these generics
|
|
| |
|
|
| expected 0 generic arguments
|
|
|
|
|
note: type alias defined here, with 0 generic parameters
|
|
--> $DIR/enum-variant-generic-args.rs:9:6
|
|
|
|
|
LL | type AliasFixed = Enum<()>;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:84:34
|
|
|
|
|
LL | AliasFixed::<()>::SVariant::<()> { v: () };
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
|
= note: enum variants can't have type parameters
|
|
help: you might have meant to specify type parameters on enum `Enum`
|
|
|
|
|
LL - AliasFixed::<()>::SVariant::<()> { v: () };
|
|
LL + AliasFixed::<()>::SVariant { v: () };
|
|
|
|
|
|
|
error[E0109]: type arguments are not allowed on unit variant `UVariant`
|
|
--> $DIR/enum-variant-generic-args.rs:90:28
|
|
|
|
|
LL | Enum::<()>::UVariant::<()>;
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on unit variant `UVariant`
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:93:23
|
|
|
|
|
LL | Alias::UVariant::<()>;
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:95:29
|
|
|
|
|
LL | Alias::<()>::UVariant::<()>;
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:98:28
|
|
|
|
|
LL | AliasFixed::UVariant::<()>;
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
|
--> $DIR/enum-variant-generic-args.rs:100:5
|
|
|
|
|
LL | AliasFixed::<()>::UVariant;
|
|
| ^^^^^^^^^^------ help: remove these generics
|
|
| |
|
|
| expected 0 generic arguments
|
|
|
|
|
note: type alias defined here, with 0 generic parameters
|
|
--> $DIR/enum-variant-generic-args.rs:9:6
|
|
|
|
|
LL | type AliasFixed = Enum<()>;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
|
--> $DIR/enum-variant-generic-args.rs:102:5
|
|
|
|
|
LL | AliasFixed::<()>::UVariant::<()>;
|
|
| ^^^^^^^^^^------ help: remove these generics
|
|
| |
|
|
| expected 0 generic arguments
|
|
|
|
|
note: type alias defined here, with 0 generic parameters
|
|
--> $DIR/enum-variant-generic-args.rs:9:6
|
|
|
|
|
LL | type AliasFixed = Enum<()>;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0109]: type arguments are not allowed on this type
|
|
--> $DIR/enum-variant-generic-args.rs:102:34
|
|
|
|
|
LL | AliasFixed::<()>::UVariant::<()>;
|
|
| -------- ^^ type argument not allowed
|
|
| |
|
|
| not allowed on this type
|
|
|
|
error: aborting due to 39 previous errors
|
|
|
|
Some errors have detailed explanations: E0107, E0109, E0308.
|
|
For more information about an error, try `rustc --explain E0107`.
|