tests/ui/generic-associated-types/bugs/issue-100013.stderr

   1 error: lifetime bound not satisfied
   2   --> $DIR/issue-100013.rs:15:5
   3    |
   4 LL | /     async { // a coroutine checked for autotrait impl `Send`
   5 LL | |         let x = None::<I::Future<'_, '_>>; // a type referencing GAT
   6 LL | |         async {}.await; // a yield point
   7 LL | |     }
   8    | |_____^
   9    |
  10    = note: this is a known limitation that will be removed in the future (see issue #100013 <https://github.com/rust-lang/rust/issues/100013> for more information)
  11
  12 error: lifetime bound not satisfied
  13   --> $DIR/issue-100013.rs:22:5
  14    |
  15 LL | /     async { // a coroutine checked for autotrait impl `Send`
  16 LL | |         let x = None::<I::Future<'a, 'b>>; // a type referencing GAT
  17 LL | |         async {}.await; // a yield point
  18 LL | |     }
  19    | |_____^
  20    |
  21    = note: this is a known limitation that will be removed in the future (see issue #100013 <https://github.com/rust-lang/rust/issues/100013> for more information)
  22
  23 error: lifetime may not live long enough
  24   --> $DIR/issue-100013.rs:23:17
  25    |
  26 LL | fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
  27    |          --  -- lifetime `'b` defined here
  28    |          |
  29    |          lifetime `'a` defined here
  30 LL |     async { // a coroutine checked for autotrait impl `Send`
  31 LL |         let x = None::<I::Future<'a, 'b>>; // a type referencing GAT
  32    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'b`
  33    |
  34    = help: consider adding the following bound: `'a: 'b`
  35
  36 error: lifetime bound not satisfied
  37   --> $DIR/issue-100013.rs:29:5
  38    |
  39 LL | /     async { // a coroutine checked for autotrait impl `Send`
  40 LL | |         let x = None::<I::Future<'a, 'b>>; // a type referencing GAT
  41 LL | |         async {}.await; // a yield point
  42 LL | |     }
  43    | |_____^
  44    |
  45    = note: this is a known limitation that will be removed in the future (see issue #100013 <https://github.com/rust-lang/rust/issues/100013> for more information)
  46
  47 error: aborting due to 4 previous errors
  48