| error[E0271]: type mismatch resolving `<i8 as Trait>::AssociatedType == u32` | |
| --> $DIR/E0271.rs:10:9 | |
| | | |
| LL | foo(3_i8); | |
| | --- ^^^^ type mismatch resolving `<i8 as Trait>::AssociatedType == u32` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| note: expected this to be `u32` | |
| --> $DIR/E0271.rs:7:43 | |
| | | |
| LL | impl Trait for i8 { type AssociatedType = &'static str; } | |
| | ^^^^^^^^^^^^ | |
| note: required by a bound in `foo` | |
| --> $DIR/E0271.rs:3:32 | |
| | | |
| LL | fn foo<T>(t: T) where T: Trait<AssociatedType=u32> { | |
| | ^^^^^^^^^^^^^^^^^^ required by this bound in `foo` | |
| error: aborting due to 1 previous error | |
| For more information about this error, try `rustc --explain E0271`. |