about summary refs log tree commit diff
path: root/tests/ui/async-await/in-trait/async-default-fn-overridden.rs
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,
        }
    }
}