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