summaryrefslogtreecommitdiffstats
path: root/tests/ui/async-await/mutually-recursive-async-impl-trait-type.rs
blob: a241f30e73e6eb3f7e8f9c57c669be1091adcf55 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// revisions: no_drop_tracking drop_tracking drop_tracking_mir
// [drop_tracking] compile-flags: -Zdrop-tracking
// [drop_tracking_mir] compile-flags: -Zdrop-tracking-mir

// edition:2018
// Test that impl trait does not allow creating recursive types that are
// otherwise forbidden when using `async` and `await`.

async fn rec_1() { //~ ERROR recursion in an `async fn`
    rec_2().await;
}

async fn rec_2() { //~ ERROR recursion in an `async fn`
    rec_1().await;
}

fn main() {}