| error[E0271]: type mismatch resolving `<Concrete as Bar>::Other == Concrete` | |
| --> $DIR/issue-99348-impl-compatibility.rs:8:17 | |
| | | |
| LL | type Tait = impl Sized; | |
| | ---------- the found opaque type | |
| ... | |
| LL | type Item = Concrete; | |
| | ^^^^^^^^ type mismatch resolving `<Concrete as Bar>::Other == Concrete` | |
| | | |
| note: expected this to be `Concrete` | |
| --> $DIR/issue-99348-impl-compatibility.rs:13:18 | |
| | | |
| LL | type Other = Tait; | |
| | ^^^^ | |
| = note: expected struct `Concrete` | |
| found opaque type `Tait` | |
| note: required by a bound in `Foo::Item` | |
| --> $DIR/issue-99348-impl-compatibility.rs:17:20 | |
| | | |
| LL | type Item: Bar<Other = Self>; | |
| | ^^^^^^^^^^^^ required by this bound in `Foo::Item` | |
| error: aborting due to 1 previous error | |
| For more information about this error, try `rustc --explain E0271`. |