summaryrefslogtreecommitdiffstats
path: root/tests/ui/generic-associated-types/issue-90014-tait.stderr
blob: e4bcc92bf6e02f55a0b4fde314288fd454c50a65 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
error[E0308]: mismatched types
  --> $DIR/issue-90014-tait.rs:18:9
   |
LL |     type Fut<'a> = impl Future<Output = ()>;
   |                    ------------------------ the expected future
LL |
LL |     fn make_fut<'a>(&'a self) -> Self::Fut<'a> {
   |                                  ------------- expected `Foo<'_>::Fut<'a>` because of return type
LL |         async { () }
   |         ^^^^^^^^^^^^ expected future, found `async` block
   |
   = note: expected opaque type `Foo<'_>::Fut<'a>`
            found `async` block `{async block@$DIR/issue-90014-tait.rs:18:9: 18:21}`
note: this item must have the opaque type in its signature in order to be able to register hidden types
  --> $DIR/issue-90014-tait.rs:17:8
   |
LL |     fn make_fut<'a>(&'a self) -> Self::Fut<'a> {
   |        ^^^^^^^^

error: aborting due to 1 previous error

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