[rustc.git] / src / test / ui / type-alias-enum-variants / enum-variant-generic-args.stderr

error[E0308]: mismatched types
  --> $DIR/enum-variant-generic-args.rs:13:25
   |
LL | impl<T> Enum<T> {
   |      - 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> {
   |      - 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> {
   |      - 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 specity 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> {
   |      - 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> {
   |      - 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 specity 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> {
   |      - 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]: this 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]: this 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 specity 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 specity 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 specity type parameters on enum `Enum`
   |
LL -     AliasFixed::SVariant::<()> { v: () };
LL +     AliasFixed::<()>::SVariant { v: () };
   |

error[E0107]: this 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]: this 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 specity 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]: this 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]: this 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`.
Commit	Line	Data
0731742a	1	error[E0308]: mismatched types
dc9dc135	2	--> $DIR/enum-variant-generic-args.rs:13:25
0731742a	3	\|
60c5eb7d XL	4	LL \| impl<T> Enum<T> {
	5	\| - this type parameter
	6	LL \| fn ts_variant() {
0731742a	7	LL \| Self::TSVariant(());
923072b8 FG	8	\| --------------- ^^ expected type parameter `T`, found `()`
923072b8 FG	9	\| \|
064997fb	10	\| arguments to this enum variant are incorrect
0731742a	11	\|
60c5eb7d XL	12	= note: expected type parameter `T`
60c5eb7d XL	13	found unit type `()`
923072b8 FG	14	note: tuple variant defined here
	15	--> $DIR/enum-variant-generic-args.rs:7:16
	16	\|
	17	LL \| enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
	18	\| ^^^^^^^^^
0731742a	19
923072b8	20	error[E0109]: type arguments are not allowed on this type
dc9dc135	21	--> $DIR/enum-variant-generic-args.rs:15:27
0731742a XL	22	\|
0731742a XL	23	LL \| Self::TSVariant::<()>(());
923072b8 FG	24	\| --------- ^^ type argument not allowed
	25	\| \|
	26	\| not allowed on this type
0731742a	27
923072b8	28	error[E0109]: type arguments are not allowed on self type
dc9dc135	29	--> $DIR/enum-variant-generic-args.rs:17:16
0731742a XL	30	\|
0731742a XL	31	LL \| Self::<()>::TSVariant(());
923072b8 FG	32	\| ---- ^^ type argument not allowed
	33	\| \|
	34	\| not allowed on self type
	35	\|
	36	note: `Self` is of type `Enum<T>`
	37	--> $DIR/enum-variant-generic-args.rs:7:6
	38	\|
	39	LL \| enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
	40	\| ^^^^ `Self` corresponds to this type
	41	...
	42	LL \| impl<T> Enum<T> {
	43	\| --------------- `Self` is on type `Enum` in this `impl`
	44	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
	45	\|
	46	LL \| Enum::<()>::TSVariant(());
	47	\| ~~~~
0731742a XL	48
0731742a XL	49	error[E0308]: mismatched types
dc9dc135	50	--> $DIR/enum-variant-generic-args.rs:17:31
0731742a	51	\|
60c5eb7d XL	52	LL \| impl<T> Enum<T> {
	53	\| - this type parameter
	54	...
0731742a	55	LL \| Self::<()>::TSVariant(());
923072b8 FG	56	\| --------------------- ^^ expected type parameter `T`, found `()`
923072b8 FG	57	\| \|
064997fb	58	\| arguments to this enum variant are incorrect
0731742a	59	\|
60c5eb7d XL	60	= note: expected type parameter `T`
60c5eb7d XL	61	found unit type `()`
923072b8 FG	62	note: tuple variant defined here
	63	--> $DIR/enum-variant-generic-args.rs:7:16
	64	\|
	65	LL \| enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
	66	\| ^^^^^^^^^
0731742a	67
923072b8	68	error[E0109]: type arguments are not allowed on self type
dc9dc135	69	--> $DIR/enum-variant-generic-args.rs:20:16
0731742a XL	70	\|
0731742a XL	71	LL \| Self::<()>::TSVariant::<()>(());
923072b8 FG	72	\| ---- ^^ type argument not allowed
	73	\| \|
	74	\| not allowed on self type
	75	\|
	76	note: `Self` is of type `Enum<T>`
	77	--> $DIR/enum-variant-generic-args.rs:7:6
	78	\|
	79	LL \| enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
	80	\| ^^^^ `Self` corresponds to this type
	81	...
	82	LL \| impl<T> Enum<T> {
	83	\| --------------- `Self` is on type `Enum` in this `impl`
	84	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
	85	\|
	86	LL \| Enum::<()>::TSVariant::<()>(());
	87	\| ~~~~
0731742a	88
923072b8	89	error[E0109]: type arguments are not allowed on this type
dc9dc135	90	--> $DIR/enum-variant-generic-args.rs:20:33
0731742a XL	91	\|
0731742a XL	92	LL \| Self::<()>::TSVariant::<()>(());
923072b8 FG	93	\| --------- ^^ type argument not allowed
	94	\| \|
	95	\| not allowed on this type
0731742a XL	96
0731742a XL	97	error[E0308]: mismatched types
dc9dc135	98	--> $DIR/enum-variant-generic-args.rs:26:29
0731742a	99	\|
60c5eb7d XL	100	LL \| impl<T> Enum<T> {
	101	\| - this type parameter
	102	...
0731742a	103	LL \| Self::SVariant { v: () };
60c5eb7d	104	\| ^^ expected type parameter `T`, found `()`
0731742a	105	\|
60c5eb7d XL	106	= note: expected type parameter `T`
60c5eb7d XL	107	found unit type `()`
0731742a	108
923072b8	109	error[E0109]: type arguments are not allowed on this type
dc9dc135	110	--> $DIR/enum-variant-generic-args.rs:28:26
0731742a XL	111	\|
0731742a XL	112	LL \| Self::SVariant::<()> { v: () };
923072b8 FG	113	\| -------- ^^ type argument not allowed
	114	\| \|
	115	\| not allowed on this type
	116	\|
	117	= note: enum variants can't have type parameters
	118	help: you might have meant to specity type parameters on enum `Enum`
	119	\|
	120	LL - Self::SVariant::<()> { v: () };
	121	LL + Enum::<()>::SVariant { v: () };
	122	\|
0731742a XL	123
0731742a XL	124	error[E0308]: mismatched types
dc9dc135	125	--> $DIR/enum-variant-generic-args.rs:28:35
0731742a	126	\|
60c5eb7d XL	127	LL \| impl<T> Enum<T> {
	128	\| - this type parameter
	129	...
0731742a	130	LL \| Self::SVariant::<()> { v: () };
60c5eb7d	131	\| ^^ expected type parameter `T`, found `()`
0731742a	132	\|
60c5eb7d XL	133	= note: expected type parameter `T`
60c5eb7d XL	134	found unit type `()`
0731742a	135
923072b8	136	error[E0109]: type arguments are not allowed on self type
dc9dc135	137	--> $DIR/enum-variant-generic-args.rs:31:16
0731742a XL	138	\|
0731742a XL	139	LL \| Self::<()>::SVariant { v: () };
923072b8 FG	140	\| ---- ^^ type argument not allowed
	141	\| \|
	142	\| not allowed on self type
	143	\|
	144	note: `Self` is of type `Enum<T>`
	145	--> $DIR/enum-variant-generic-args.rs:7:6
	146	\|
	147	LL \| enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
	148	\| ^^^^ `Self` corresponds to this type
	149	...
	150	LL \| impl<T> Enum<T> {
	151	\| --------------- `Self` is on type `Enum` in this `impl`
	152	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
	153	\|
	154	LL \| Enum::<()>::SVariant { v: () };
	155	\| ~~~~
0731742a XL	156
0731742a XL	157	error[E0308]: mismatched types
dc9dc135	158	--> $DIR/enum-variant-generic-args.rs:31:35
0731742a	159	\|
60c5eb7d XL	160	LL \| impl<T> Enum<T> {
	161	\| - this type parameter
	162	...
0731742a	163	LL \| Self::<()>::SVariant { v: () };
60c5eb7d	164	\| ^^ expected type parameter `T`, found `()`
0731742a	165	\|
60c5eb7d XL	166	= note: expected type parameter `T`
60c5eb7d XL	167	found unit type `()`
0731742a	168
923072b8	169	error[E0109]: type arguments are not allowed on self type
dc9dc135	170	--> $DIR/enum-variant-generic-args.rs:34:16
0731742a XL	171	\|
0731742a XL	172	LL \| Self::<()>::SVariant::<()> { v: () };
923072b8 FG	173	\| ---- ^^ type argument not allowed
	174	\| \|
	175	\| not allowed on self type
	176	\|
	177	note: `Self` is of type `Enum<T>`
	178	--> $DIR/enum-variant-generic-args.rs:7:6
	179	\|
	180	LL \| enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
	181	\| ^^^^ `Self` corresponds to this type
	182	...
	183	LL \| impl<T> Enum<T> {
	184	\| --------------- `Self` is on type `Enum` in this `impl`
	185	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
	186	\|
	187	LL \| Enum::<()>::SVariant::<()> { v: () };
	188	\| ~~~~
0731742a	189
923072b8	190	error[E0109]: type arguments are not allowed on this type
dc9dc135	191	--> $DIR/enum-variant-generic-args.rs:34:32
0731742a XL	192	\|
0731742a XL	193	LL \| Self::<()>::SVariant::<()> { v: () };
923072b8 FG	194	\| -------- ^^ type argument not allowed
	195	\| \|
	196	\| not allowed on this type
	197	\|
	198	= note: enum variants can't have type parameters
	199	help: you might have meant to specity type parameters on enum `Enum`
	200	\|
	201	LL - Self::<()>::SVariant::<()> { v: () };
	202	LL + Enum::<()>::SVariant { v: () };
	203	\|
0731742a XL	204
0731742a XL	205	error[E0308]: mismatched types
dc9dc135	206	--> $DIR/enum-variant-generic-args.rs:34:41
0731742a	207	\|
60c5eb7d XL	208	LL \| impl<T> Enum<T> {
	209	\| - this type parameter
	210	...
0731742a	211	LL \| Self::<()>::SVariant::<()> { v: () };
60c5eb7d	212	\| ^^ expected type parameter `T`, found `()`
0731742a	213	\|
60c5eb7d XL	214	= note: expected type parameter `T`
60c5eb7d XL	215	found unit type `()`
0731742a	216
923072b8	217	error[E0109]: type arguments are not allowed on this type
dc9dc135 XL	218	--> $DIR/enum-variant-generic-args.rs:41:26
	219	\|
	220	LL \| Self::UVariant::<()>;
923072b8 FG	221	\| -------- ^^ type argument not allowed
	222	\| \|
	223	\| not allowed on this type
dc9dc135	224
923072b8	225	error[E0109]: type arguments are not allowed on self type
dc9dc135 XL	226	--> $DIR/enum-variant-generic-args.rs:43:16
	227	\|
	228	LL \| Self::<()>::UVariant;
923072b8 FG	229	\| ---- ^^ type argument not allowed
	230	\| \|
	231	\| not allowed on self type
	232	\|
	233	note: `Self` is of type `Enum<T>`
	234	--> $DIR/enum-variant-generic-args.rs:7:6
	235	\|
	236	LL \| enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
	237	\| ^^^^ `Self` corresponds to this type
	238	...
	239	LL \| impl<T> Enum<T> {
	240	\| --------------- `Self` is on type `Enum` in this `impl`
	241	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
	242	\|
	243	LL \| Enum::<()>::UVariant;
	244	\| ~~~~
dc9dc135	245
923072b8	246	error[E0109]: type arguments are not allowed on self type
dc9dc135 XL	247	--> $DIR/enum-variant-generic-args.rs:45:16
	248	\|
	249	LL \| Self::<()>::UVariant::<()>;
923072b8 FG	250	\| ---- ^^ type argument not allowed
	251	\| \|
	252	\| not allowed on self type
	253	\|
	254	note: `Self` is of type `Enum<T>`
	255	--> $DIR/enum-variant-generic-args.rs:7:6
	256	\|
	257	LL \| enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
	258	\| ^^^^ `Self` corresponds to this type
	259	...
	260	LL \| impl<T> Enum<T> {
	261	\| --------------- `Self` is on type `Enum` in this `impl`
	262	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
	263	\|
	264	LL \| Enum::<()>::UVariant::<()>;
	265	\| ~~~~
dc9dc135	266
923072b8	267	error[E0109]: type arguments are not allowed on this type
dc9dc135 XL	268	--> $DIR/enum-variant-generic-args.rs:45:32
	269	\|
	270	LL \| Self::<()>::UVariant::<()>;
923072b8 FG	271	\| -------- ^^ type argument not allowed
	272	\| \|
	273	\| not allowed on this type
dc9dc135	274
923072b8	275	error[E0109]: type arguments are not allowed on tuple variant `TSVariant`
dc9dc135	276	--> $DIR/enum-variant-generic-args.rs:54:29
0731742a XL	277	\|
0731742a XL	278	LL \| Enum::<()>::TSVariant::<()>(());
923072b8 FG	279	\| --------- ^^ type argument not allowed
	280	\| \|
	281	\| not allowed on tuple variant `TSVariant`
0731742a	282
923072b8	283	error[E0109]: type arguments are not allowed on this type
dc9dc135	284	--> $DIR/enum-variant-generic-args.rs:57:24
0731742a XL	285	\|
0731742a XL	286	LL \| Alias::TSVariant::<()>(());
923072b8 FG	287	\| --------- ^^ type argument not allowed
	288	\| \|
	289	\| not allowed on this type
0731742a	290
923072b8	291	error[E0109]: type arguments are not allowed on this type
dc9dc135	292	--> $DIR/enum-variant-generic-args.rs:59:30
0731742a XL	293	\|
0731742a XL	294	LL \| Alias::<()>::TSVariant::<()>(());
923072b8 FG	295	\| --------- ^^ type argument not allowed
	296	\| \|
	297	\| not allowed on this type
0731742a	298
923072b8	299	error[E0109]: type arguments are not allowed on this type
dc9dc135	300	--> $DIR/enum-variant-generic-args.rs:62:29
0731742a XL	301	\|
0731742a XL	302	LL \| AliasFixed::TSVariant::<()>(());
923072b8 FG	303	\| --------- ^^ type argument not allowed
	304	\| \|
	305	\| not allowed on this type
0731742a	306
17df50a5	307	error[E0107]: this type alias takes 0 generic arguments but 1 generic argument was supplied
5869c6ff	308	--> $DIR/enum-variant-generic-args.rs:64:5
0731742a XL	309	\|
0731742a XL	310	LL \| AliasFixed::<()>::TSVariant(());
5869c6ff XL	311	\| ^^^^^^^^^^------ help: remove these generics
5869c6ff XL	312	\| \|
17df50a5	313	\| expected 0 generic arguments
5869c6ff	314	\|
17df50a5	315	note: type alias defined here, with 0 generic parameters
5869c6ff XL	316	--> $DIR/enum-variant-generic-args.rs:9:6
	317	\|
	318	LL \| type AliasFixed = Enum<()>;
	319	\| ^^^^^^^^^^
0731742a	320
17df50a5	321	error[E0107]: this type alias takes 0 generic arguments but 1 generic argument was supplied
5869c6ff	322	--> $DIR/enum-variant-generic-args.rs:66:5
0731742a XL	323	\|
0731742a XL	324	LL \| AliasFixed::<()>::TSVariant::<()>(());
5869c6ff XL	325	\| ^^^^^^^^^^------ help: remove these generics
5869c6ff XL	326	\| \|
17df50a5	327	\| expected 0 generic arguments
5869c6ff	328	\|
17df50a5	329	note: type alias defined here, with 0 generic parameters
5869c6ff XL	330	--> $DIR/enum-variant-generic-args.rs:9:6
	331	\|
	332	LL \| type AliasFixed = Enum<()>;
	333	\| ^^^^^^^^^^
0731742a	334
923072b8	335	error[E0109]: type arguments are not allowed on this type
dc9dc135	336	--> $DIR/enum-variant-generic-args.rs:66:35
0731742a XL	337	\|
0731742a XL	338	LL \| AliasFixed::<()>::TSVariant::<()>(());
923072b8 FG	339	\| --------- ^^ type argument not allowed
	340	\| \|
	341	\| not allowed on this type
0731742a	342
923072b8	343	error[E0109]: type arguments are not allowed on variant `SVariant`
dc9dc135	344	--> $DIR/enum-variant-generic-args.rs:72:28
0731742a XL	345	\|
0731742a XL	346	LL \| Enum::<()>::SVariant::<()> { v: () };
923072b8 FG	347	\| -------- ^^ type argument not allowed
	348	\| \|
	349	\| not allowed on variant `SVariant`
	350	\|
	351	= note: enum variants can't have type parameters
0731742a	352
923072b8	353	error[E0109]: type arguments are not allowed on this type
dc9dc135	354	--> $DIR/enum-variant-generic-args.rs:75:23
0731742a XL	355	\|
0731742a XL	356	LL \| Alias::SVariant::<()> { v: () };
923072b8 FG	357	\| -------- ^^ type argument not allowed
	358	\| \|
	359	\| not allowed on this type
	360	\|
	361	= note: enum variants can't have type parameters
	362	help: you might have meant to specity type parameters on enum `Enum`
	363	\|
	364	LL - Alias::SVariant::<()> { v: () };
	365	LL + Alias::<()>::SVariant { v: () };
	366	\|
0731742a	367
923072b8	368	error[E0109]: type arguments are not allowed on this type
dc9dc135	369	--> $DIR/enum-variant-generic-args.rs:77:29
0731742a XL	370	\|
0731742a XL	371	LL \| Alias::<()>::SVariant::<()> { v: () };
923072b8 FG	372	\| -------- ^^ type argument not allowed
	373	\| \|
	374	\| not allowed on this type
	375	\|
	376	= note: enum variants can't have type parameters
	377	help: you might have meant to specity type parameters on enum `Enum`
	378	\|
	379	LL - Alias::<()>::SVariant::<()> { v: () };
	380	LL + Alias::<()>::SVariant { v: () };
	381	\|
0731742a	382
923072b8	383	error[E0109]: type arguments are not allowed on this type
dc9dc135	384	--> $DIR/enum-variant-generic-args.rs:80:28
0731742a XL	385	\|
0731742a XL	386	LL \| AliasFixed::SVariant::<()> { v: () };
923072b8 FG	387	\| -------- ^^ type argument not allowed
	388	\| \|
	389	\| not allowed on this type
	390	\|
	391	= note: enum variants can't have type parameters
	392	help: you might have meant to specity type parameters on enum `Enum`
	393	\|
	394	LL - AliasFixed::SVariant::<()> { v: () };
	395	LL + AliasFixed::<()>::SVariant { v: () };
	396	\|
0731742a	397
17df50a5	398	error[E0107]: this type alias takes 0 generic arguments but 1 generic argument was supplied
5869c6ff	399	--> $DIR/enum-variant-generic-args.rs:82:5
0731742a XL	400	\|
0731742a XL	401	LL \| AliasFixed::<()>::SVariant { v: () };
5869c6ff XL	402	\| ^^^^^^^^^^------ help: remove these generics
5869c6ff XL	403	\| \|
17df50a5	404	\| expected 0 generic arguments
5869c6ff	405	\|
17df50a5	406	note: type alias defined here, with 0 generic parameters
5869c6ff XL	407	--> $DIR/enum-variant-generic-args.rs:9:6
	408	\|
	409	LL \| type AliasFixed = Enum<()>;
	410	\| ^^^^^^^^^^
0731742a	411
17df50a5	412	error[E0107]: this type alias takes 0 generic arguments but 1 generic argument was supplied
5869c6ff	413	--> $DIR/enum-variant-generic-args.rs:84:5
0731742a XL	414	\|
0731742a XL	415	LL \| AliasFixed::<()>::SVariant::<()> { v: () };
5869c6ff XL	416	\| ^^^^^^^^^^------ help: remove these generics
5869c6ff XL	417	\| \|
17df50a5	418	\| expected 0 generic arguments
5869c6ff	419	\|
17df50a5	420	note: type alias defined here, with 0 generic parameters
5869c6ff XL	421	--> $DIR/enum-variant-generic-args.rs:9:6
	422	\|
	423	LL \| type AliasFixed = Enum<()>;
	424	\| ^^^^^^^^^^
0731742a	425
923072b8	426	error[E0109]: type arguments are not allowed on this type
dc9dc135	427	--> $DIR/enum-variant-generic-args.rs:84:34
0731742a XL	428	\|
0731742a XL	429	LL \| AliasFixed::<()>::SVariant::<()> { v: () };
923072b8 FG	430	\| -------- ^^ type argument not allowed
	431	\| \|
	432	\| not allowed on this type
	433	\|
	434	= note: enum variants can't have type parameters
	435	help: you might have meant to specity type parameters on enum `Enum`
	436	\|
	437	LL - AliasFixed::<()>::SVariant::<()> { v: () };
	438	LL + AliasFixed::<()>::SVariant { v: () };
	439	\|
0731742a	440
923072b8	441	error[E0109]: type arguments are not allowed on unit variant `UVariant`
dc9dc135 XL	442	--> $DIR/enum-variant-generic-args.rs:90:28
	443	\|
	444	LL \| Enum::<()>::UVariant::<()>;
923072b8 FG	445	\| -------- ^^ type argument not allowed
	446	\| \|
	447	\| not allowed on unit variant `UVariant`
dc9dc135	448
923072b8	449	error[E0109]: type arguments are not allowed on this type
dc9dc135 XL	450	--> $DIR/enum-variant-generic-args.rs:93:23
	451	\|
	452	LL \| Alias::UVariant::<()>;
923072b8 FG	453	\| -------- ^^ type argument not allowed
	454	\| \|
	455	\| not allowed on this type
dc9dc135	456
923072b8	457	error[E0109]: type arguments are not allowed on this type
dc9dc135 XL	458	--> $DIR/enum-variant-generic-args.rs:95:29
	459	\|
	460	LL \| Alias::<()>::UVariant::<()>;
923072b8 FG	461	\| -------- ^^ type argument not allowed
	462	\| \|
	463	\| not allowed on this type
dc9dc135	464
923072b8	465	error[E0109]: type arguments are not allowed on this type
dc9dc135 XL	466	--> $DIR/enum-variant-generic-args.rs:98:28
	467	\|
	468	LL \| AliasFixed::UVariant::<()>;
923072b8 FG	469	\| -------- ^^ type argument not allowed
	470	\| \|
	471	\| not allowed on this type
dc9dc135	472
17df50a5	473	error[E0107]: this type alias takes 0 generic arguments but 1 generic argument was supplied
5869c6ff	474	--> $DIR/enum-variant-generic-args.rs:100:5
dc9dc135 XL	475	\|
dc9dc135 XL	476	LL \| AliasFixed::<()>::UVariant;
5869c6ff XL	477	\| ^^^^^^^^^^------ help: remove these generics
5869c6ff XL	478	\| \|
17df50a5	479	\| expected 0 generic arguments
5869c6ff	480	\|
17df50a5	481	note: type alias defined here, with 0 generic parameters
5869c6ff XL	482	--> $DIR/enum-variant-generic-args.rs:9:6
	483	\|
	484	LL \| type AliasFixed = Enum<()>;
	485	\| ^^^^^^^^^^
dc9dc135	486
17df50a5	487	error[E0107]: this type alias takes 0 generic arguments but 1 generic argument was supplied
5869c6ff	488	--> $DIR/enum-variant-generic-args.rs:102:5
dc9dc135 XL	489	\|
dc9dc135 XL	490	LL \| AliasFixed::<()>::UVariant::<()>;
5869c6ff XL	491	\| ^^^^^^^^^^------ help: remove these generics
5869c6ff XL	492	\| \|
17df50a5	493	\| expected 0 generic arguments
5869c6ff	494	\|
17df50a5	495	note: type alias defined here, with 0 generic parameters
5869c6ff XL	496	--> $DIR/enum-variant-generic-args.rs:9:6
	497	\|
	498	LL \| type AliasFixed = Enum<()>;
	499	\| ^^^^^^^^^^
dc9dc135	500
923072b8	501	error[E0109]: type arguments are not allowed on this type
dc9dc135 XL	502	--> $DIR/enum-variant-generic-args.rs:102:34
	503	\|
	504	LL \| AliasFixed::<()>::UVariant::<()>;
923072b8 FG	505	\| -------- ^^ type argument not allowed
	506	\| \|
	507	\| not allowed on this type
dc9dc135 XL	508
dc9dc135 XL	509	error: aborting due to 39 previous errors
0731742a	510
48663c56	511	Some errors have detailed explanations: E0107, E0109, E0308.
0731742a	512	For more information about an error, try `rustc --explain E0107`.