error[E0308]: mismatched types
  --> $DIR/associated-types-eq-3.rs:33:18
   |
LL |     let _: Bar = x.boo();
   |                  ^^^^^^^ expected struct `Bar`, found associated type
   |
   = note: expected type `Bar`
              found type `<I as Foo>::A`

error[E0271]: type mismatch resolving `<isize as Foo>::A == Bar`
  --> $DIR/associated-types-eq-3.rs:48:5
   |
LL |     foo1(a);
   |     ^^^^ expected usize, found struct `Bar`
   |
   = note: expected type `usize`
              found type `Bar`
note: required by `foo1`
  --> $DIR/associated-types-eq-3.rs:28:1
   |
LL | fn foo1<I: Foo<A=Bar>>(x: I) {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0271]: type mismatch resolving `<isize as Foo>::A == Bar`
  --> $DIR/associated-types-eq-3.rs:51:9
   |
LL |     baz(&a);
   |         ^^ expected usize, found struct `Bar`
   |
   = note: expected type `usize`
              found type `Bar`
   = note: required for the cast to the object type `dyn Foo<A=Bar>`

error: aborting due to 3 previous errors

Some errors occurred: E0271, E0308.
For more information about an error, try `rustc --explain E0271`.