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