1 error: lifetime bound not satisfied
2 --> $DIR/issue-100013.rs:15:5
4 LL | / async { // a generator checked for autotrait impl `Send`
6 LL | | let x = None::<I::Future<'_, '_>>; // a type referencing GAT
7 LL | | async {}.await; // a yield point
11 note: the lifetime defined here...
12 --> $DIR/issue-100013.rs:17:38
14 LL | let x = None::<I::Future<'_, '_>>; // a type referencing GAT
16 note: ...must outlive the lifetime defined here
17 --> $DIR/issue-100013.rs:17:34
19 LL | let x = None::<I::Future<'_, '_>>; // a type referencing GAT
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)
23 error: lifetime bound not satisfied
24 --> $DIR/issue-100013.rs:23:5
26 LL | / async { // a generator checked for autotrait impl `Send`
28 LL | | let x = None::<I::Future<'a, 'b>>; // a type referencing GAT
30 LL | | async {}.await; // a yield point
34 note: the lifetime defined here...
35 --> $DIR/issue-100013.rs:22:14
37 LL | fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
39 note: ...must outlive the lifetime defined here
40 --> $DIR/issue-100013.rs:22:10
42 LL | fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
44 = 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 error: lifetime may not live long enough
47 --> $DIR/issue-100013.rs:25:17
49 LL | fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
50 | -- -- lifetime `'b` defined here
52 | lifetime `'a` defined here
54 LL | let x = None::<I::Future<'a, 'b>>; // a type referencing GAT
55 | ^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'b`
57 = help: consider adding the following bound: `'a: 'b`
59 error: lifetime bound not satisfied
60 --> $DIR/issue-100013.rs:32:5
62 LL | / async { // a generator checked for autotrait impl `Send`
64 LL | | let x = None::<I::Future<'a, 'b>>; // a type referencing GAT
65 LL | | async {}.await; // a yield point
69 note: the lifetime defined here...
70 --> $DIR/issue-100013.rs:31:18
72 LL | fn call3<'a: 'b, 'b, I: FutureIterator>() -> impl Send {
74 note: ...must outlive the lifetime defined here
75 --> $DIR/issue-100013.rs:31:10
77 LL | fn call3<'a: 'b, 'b, I: FutureIterator>() -> impl Send {
79 = 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)
81 error: aborting due to 4 previous errors