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

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