blob: 6e36818f04f445e4051bac2a07a6b6b099d8336d (
plain)
| 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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
 | //@ run-pass
//@ edition:2021
use std::future::Future;
trait AsyncTrait {
    #[allow(async_fn_in_trait)]
    async fn default_impl() {
        assert!(false);
    }
    #[allow(async_fn_in_trait)]
    async fn call_default_impl() {
        Self::default_impl().await
    }
}
struct AsyncType;
impl AsyncTrait for AsyncType {
    async fn default_impl() {
        // :)
    }
}
async fn async_main() {
    // Should not assert false
    AsyncType::call_default_impl().await;
}
// ------------------------------------------------------------------------- //
// Implementation Details Below...
use std::pin::pin;
use std::task::*;
fn main() {
    let mut fut = pin!(async_main());
    // Poll loop, just to test the future...
    let ctx = &mut Context::from_waker(Waker::noop());
    loop {
        match fut.as_mut().poll(ctx) {
            Poll::Pending => {}
            Poll::Ready(()) => break,
        }
    }
}
 |