// 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() {} |