summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-trait/issues/issue-99348-impl-compatibility.stderr
blob: f0dceb1b11a5ddbc245e48747f02fffc9c6bc6e5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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 previous error

For more information about this error, try `rustc --explain E0271`.