1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
error[E0271]: type mismatch resolving `<W<i32> as Tr>::Assoc == ()`
--> $DIR/mismatch-two-relevant-impls.rs:18:18
|
LL | needs_unit::<W<i32>>();
| ^^^^^^ type mismatch resolving `<W<i32> as Tr>::Assoc == ()`
|
note: expected this to be `()`
--> $DIR/mismatch-two-relevant-impls.rs:8:18
|
LL | type Assoc = u32;
| ^^^
note: required by a bound in `needs_unit`
--> $DIR/mismatch-two-relevant-impls.rs:15:21
|
LL | fn needs_unit<T: Tr<Assoc = ()>>() {}
| ^^^^^^^^^^ required by this bound in `needs_unit`
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0271`.
|
