summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-trait/nested-return-type4.stderr
blob: 907822ebbc3ab67ddbc798fb640d943ccf55019a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
error[E0700]: hidden type for `impl Future<Output = impl Sized>` captures lifetime that does not appear in bounds
  --> $DIR/nested-return-type4.rs:4:5
   |
LL | fn test<'s: 's>(s: &'s str) -> impl std::future::Future<Output = impl Sized> {
   |         --                     --------------------------------------------- opaque type defined here
   |         |
   |         hidden type `[async block@$DIR/nested-return-type4.rs:4:5: 4:31]` captures the lifetime `'s` as defined here
LL |     async move { let _s = s; }
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
help: to declare that `impl Future<Output = impl Sized>` captures `'s`, you can add an explicit `'s` lifetime bound
   |
LL | fn test<'s: 's>(s: &'s str) -> impl std::future::Future<Output = impl Sized> + 's {
   |                                                                              ++++
help: to declare that `impl Sized` captures `'s`, you can add an explicit `'s` lifetime bound
   |
LL | fn test<'s: 's>(s: &'s str) -> impl std::future::Future<Output = impl Sized + 's> {
   |                                                                             ++++

error: aborting due to previous error

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