[rustc.git] / src / test / ui / type-alias-impl-trait / generic_not_used.stderr

error: at least one trait must be specified
  --> $DIR/generic_not_used.rs:5:33
   |
LL | type WrongGeneric<T: 'static> = impl 'static;
   |                                 ^^^^^^^^^^^^

error: type parameter `V` is part of concrete type but not used in parameter list for the `impl Trait` type alias
  --> $DIR/generic_not_used.rs:8:73
   |
LL |   fn wrong_generic<U: 'static, V: 'static>(_: U, v: V) -> WrongGeneric<U> {
   |  _________________________________________________________________________^
LL | |
LL | |     v
LL | | }
   | |_^

error: aborting due to 2 previous errors
Commit	Line	Data
48663c56	1	error: at least one trait must be specified
60c5eb7d	2	--> $DIR/generic_not_used.rs:5:33
48663c56	3	\|
416331ca	4	LL \| type WrongGeneric<T: 'static> = impl 'static;
60c5eb7d	5	\| ^^^^^^^^^^^^
48663c56	6
416331ca	7	error: type parameter `V` is part of concrete type but not used in parameter list for the `impl Trait` type alias
48663c56	8	--> $DIR/generic_not_used.rs:8:73
8faf50e0 XL	9	\|
	10	LL \| fn wrong_generic<U: 'static, V: 'static>(_: U, v: V) -> WrongGeneric<U> {
	11	\| _________________________________________________________________________^
532ac7d7	12	LL \| \|
8faf50e0 XL	13	LL \| \| v
	14	LL \| \| }
	15	\| \|_^
	16
48663c56	17	error: aborting due to 2 previous errors
8faf50e0	18