]>
Commit | Line | Data |
---|---|---|
1 | error: concrete type differs from previous defining opaque type use | |
2 | --> $DIR/generic_duplicate_param_use8.rs:17:1 | |
3 | | | |
4 | LL | fn three<T: Debug, U: Debug>(_: T, u: U) -> Two<T, U> { | |
5 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `(T, u32)`, got `(U, u32)` | |
6 | | | |
7 | note: previous use here | |
8 | --> $DIR/generic_duplicate_param_use8.rs:13:1 | |
9 | | | |
10 | LL | fn two<T: Debug, U: Debug>(t: T, _: U) -> Two<T, U> { | |
11 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
12 | ||
13 | error[E0277]: `T` doesn't implement `Debug` | |
14 | --> $DIR/generic_duplicate_param_use8.rs:10:18 | |
15 | | | |
16 | LL | type Two<T, U> = impl Debug; | |
17 | | ^^^^^^^^^^ `T` cannot be formatted using `{:?}` because it doesn't implement `Debug` | |
18 | | | |
19 | = note: required because of the requirements on the impl of `Debug` for `(T, u32)` | |
20 | help: consider restricting type parameter `T` | |
21 | | | |
22 | LL | type Two<T: Debug, U> = impl Debug; | |
23 | | ^^^^^^^ | |
24 | ||
25 | error: aborting due to 2 previous errors | |
26 | ||
27 | For more information about this error, try `rustc --explain E0277`. |