1 error[E0271]: type mismatch resolving `<Foo2 as Bar2>::Ok == char`
2 --> $DIR/issue-72806.rs:14:5
4 LL | type Sibling: Bar2<Ok=char>;
5 | ------- required by this bound in `Bar::Sibling`
7 LL | type Sibling = Foo2;
8 | ^^^^^^^^^^^^^^^^^^^^ expected `char`, found `u32`
10 error: aborting due to previous error
12 For more information about this error, try `rustc --explain E0271`.