-error: concrete type differs from previous defining opaque type use
- --> $DIR/generic_duplicate_param_use2.rs:14:1
+error: non-defining opaque type use in defining scope
+ --> $DIR/generic_duplicate_param_use2.rs:10:27
|
-LL | fn two<T: Debug, U>(t: T, _: U) -> Two<T, U> {
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `U`, got `T`
+LL | fn one<T: Debug>(t: T) -> Two<T, T> {
+ | ^^^^^^^^^
|
-note: previous use here
- --> $DIR/generic_duplicate_param_use2.rs:10:1
+note: type used multiple times
+ --> $DIR/generic_duplicate_param_use2.rs:8:10
|
-LL | fn one<T: Debug>(t: T) -> Two<T, T> {
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+LL | type Two<T, U> = impl Debug;
+ | ^ ^
error: aborting due to previous error