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