diff options
Diffstat (limited to 'src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs')
-rw-r--r-- | src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs b/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs new file mode 100644 index 000000000..f1002947f --- /dev/null +++ b/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs @@ -0,0 +1,17 @@ +// edition:2018 +// run-pass + +// Test member constraints that appear in the `impl Trait` +// return type of an async function. +// (This used to require a feature gate.) + +trait Trait<'a, 'b> { } +impl<T> Trait<'_, '_> for T { } + +async fn async_ret_impl_trait<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<'a, 'b> { + (a, b) +} + +fn main() { + let _ = async_ret_impl_trait(&22, &44); +} |