]>
Commit | Line | Data |
---|---|---|
416331ca | 1 | error: concrete type differs from previous defining opaque type use |
6a06907d | 2 | --> $DIR/generic_duplicate_param_use8.rs:17:1 |
9fa01778 | 3 | | |
3dfed10e XL |
4 | LL | fn three<T: Debug, U: Debug>(_: T, u: U) -> Two<T, U> { |
5 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `(T, u32)`, got `(U, u32)` | |
9fa01778 XL |
6 | | |
7 | note: previous use here | |
6a06907d | 8 | --> $DIR/generic_duplicate_param_use8.rs:13:1 |
9fa01778 | 9 | | |
3dfed10e XL |
10 | LL | fn two<T: Debug, U: Debug>(t: T, _: U) -> Two<T, U> { |
11 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
9fa01778 | 12 | |
29967ef6 | 13 | error[E0277]: `T` doesn't implement `Debug` |
6a06907d | 14 | --> $DIR/generic_duplicate_param_use8.rs:10:18 |
29967ef6 XL |
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 | |
9fa01778 | 26 | |
29967ef6 | 27 | For more information about this error, try `rustc --explain E0277`. |