]>
Commit | Line | Data |
---|---|---|
416331ca | 1 | error: concrete type differs from previous defining opaque type use |
6a06907d | 2 | --> $DIR/generic_duplicate_param_use5.rs:19:1 |
9fa01778 | 3 | | |
3dfed10e XL |
4 | LL | fn three<T: Debug, U: Debug>(t: T, u: U) -> Two<T, U> { |
5 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `(T, U)`, got `(U, T)` | |
9fa01778 XL |
6 | | |
7 | note: previous use here | |
6a06907d | 8 | --> $DIR/generic_duplicate_param_use5.rs:15:1 |
9fa01778 | 9 | | |
3dfed10e XL |
10 | LL | fn two<T: Debug, U: Debug>(t: T, u: U) -> Two<T, U> { |
11 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
9fa01778 | 12 | |
29967ef6 | 13 | error[E0277]: `T` doesn't implement `Debug` |
6a06907d | 14 | --> $DIR/generic_duplicate_param_use5.rs:11: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, U)` | |
20 | help: consider restricting type parameter `T` | |
21 | | | |
22 | LL | type Two<T: Debug, U> = impl Debug; | |
23 | | ^^^^^^^ | |
24 | ||
25 | error[E0277]: `U` doesn't implement `Debug` | |
6a06907d | 26 | --> $DIR/generic_duplicate_param_use5.rs:11:18 |
29967ef6 XL |
27 | | |
28 | LL | type Two<T, U> = impl Debug; | |
29 | | ^^^^^^^^^^ `U` cannot be formatted using `{:?}` because it doesn't implement `Debug` | |
30 | | | |
31 | = note: required because of the requirements on the impl of `Debug` for `(T, U)` | |
32 | help: consider restricting type parameter `U` | |
33 | | | |
34 | LL | type Two<T, U: Debug> = impl Debug; | |
35 | | ^^^^^^^ | |
36 | ||
37 | error: aborting due to 3 previous errors | |
9fa01778 | 38 | |
29967ef6 | 39 | For more information about this error, try `rustc --explain E0277`. |