about summary refs log tree commit diff
path: root/tests/ui/async-await/higher-ranked-auto-trait-11.no_assumptions.stderr
blob: d39843f628c46002da6d68c05b25d813e51cd1ee (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
error: lifetime may not live long enough
  --> $DIR/higher-ranked-auto-trait-11.rs:27:9
   |
LL | impl<'a, T> Foo<'a> for MyType<T>
   |      -- lifetime `'a` defined here
...
LL |         Box::pin(async move { <T as Foo<'a>>::foo().await })
   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ coercion requires that `'a` must outlive `'static`

error: implementation of `Send` is not general enough
  --> $DIR/higher-ranked-auto-trait-11.rs:27:9
   |
LL |         Box::pin(async move { <T as Foo<'a>>::foo().await })
   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Send` is not general enough
   |
   = note: `Send` would have to be implemented for the type `<T as Foo<'0>>::Future`, for any lifetime `'0`...
   = note: ...but `Send` is actually implemented for the type `<T as Foo<'1>>::Future`, for some specific lifetime `'1`

error: aborting due to 2 previous errors