diff options
Diffstat (limited to 'src/test/ui/async-await/recursive-async-impl-trait-type.rs')
-rw-r--r-- | src/test/ui/async-await/recursive-async-impl-trait-type.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/async-await/recursive-async-impl-trait-type.rs b/src/test/ui/async-await/recursive-async-impl-trait-type.rs new file mode 100644 index 000000000..edc4cb8ac --- /dev/null +++ b/src/test/ui/async-await/recursive-async-impl-trait-type.rs @@ -0,0 +1,10 @@ +// edition:2018 +// Test that impl trait does not allow creating recursive types that are +// otherwise forbidden when using `async` and `await`. + +async fn recursive_async_function() -> () { + //~^ ERROR recursion in an `async fn` requires boxing + recursive_async_function().await; +} + +fn main() {} |