1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
// edition:2021 // check-pass #![feature(return_type_notation)] //~^ WARN the feature `return_type_notation` is incomplete trait Super<'a> { async fn test(); } impl Super<'_> for () { async fn test() {} } trait Foo: for<'a> Super<'a> {} impl Foo for () {} fn test<T>() where T: Foo<test(): Send>, { } fn main() { test::<()>(); }