src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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);
}