error[E0271]: type mismatch resolving `::AssociatedType == u32` --> $DIR/E0271.rs:10:9 | LL | foo(3_i8); | --- ^^^^ type mismatch resolving `::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) where T: Trait { | ^^^^^^^^^^^^^^^^^^ required by this bound in `foo` error: aborting due to 1 previous error For more information about this error, try `rustc --explain E0271`.