src/test/ui/associated-types/point-at-type-on-obligation-failure.stderr

   1 error[E0271]: type mismatch resolving `<Foo2 as Bar2>::Ok == ()`
   2   --> $DIR/point-at-type-on-obligation-failure.rs:14:20
   3    |
   4 LL |     type Sibling = Foo2;
   5    |                    ^^^^ type mismatch resolving `<Foo2 as Bar2>::Ok == ()`
   6    |
   7 note: expected this to be `()`
   8   --> $DIR/point-at-type-on-obligation-failure.rs:18:15
   9    |
  10 LL |     type Ok = u32;
  11    |               ^^^
  12 note: required by a bound in `Bar::Sibling`
  13   --> $DIR/point-at-type-on-obligation-failure.rs:3:24
  14    |
  15 LL |     type Sibling: Bar2<Ok=Self::Ok>;
  16    |                        ^^^^^^^^^^^ required by this bound in `Bar::Sibling`
  17
  18 error: aborting due to previous error
  19
  20 For more information about this error, try `rustc --explain E0271`.