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