src/test/ui/error-codes/E0271.stderr

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