diff options
Diffstat (limited to 'src/test/ui/async-await/mutually-recursive-async-impl-trait-type.rs')
-rw-r--r-- | src/test/ui/async-await/mutually-recursive-async-impl-trait-type.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/async-await/mutually-recursive-async-impl-trait-type.rs b/src/test/ui/async-await/mutually-recursive-async-impl-trait-type.rs new file mode 100644 index 000000000..bb2a61f03 --- /dev/null +++ b/src/test/ui/async-await/mutually-recursive-async-impl-trait-type.rs @@ -0,0 +1,13 @@ +// 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() {} |