src/test/ui/impl-trait/issues/issue-99348-impl-compatibility.stderr

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