1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
// Test-pass variant of #69136 // check-pass #![feature(type_alias_impl_trait)] trait SomeTrait {} impl SomeTrait for () {} trait WithAssoc { type AssocType; } impl WithAssoc for () { type AssocType = (); } type Return<'a> = impl WithAssoc<AssocType = impl Sized + 'a>; fn my_fun<'a>() -> Return<'a> {} fn main() {}