1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
//@ check-fail
//@ known-bug: #100013
//@ edition: 2021
// We really should accept this, but we need implied bounds between the regions
// in a coroutine interior.
pub trait FutureIterator {
type Future<'s, 'cx>: Send
where
's: 'cx;
}
fn call<I: FutureIterator>() -> impl Send {
async { // a coroutine checked for autotrait impl `Send`
let x = None::<I::Future<'_, '_>>; // a type referencing GAT
async {}.await; // a yield point
}
}
fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
async { // a coroutine checked for autotrait impl `Send`
let x = None::<I::Future<'a, 'b>>; // a type referencing GAT
async {}.await; // a yield point
}
}
fn call3<'a: 'b, 'b, I: FutureIterator>() -> impl Send {
async { // a coroutine checked for autotrait impl `Send`
let x = None::<I::Future<'a, 'b>>; // a type referencing GAT
async {}.await; // a yield point
}
}
fn main() {}
|
