//@ check-pass
trait A<'a> {
type Assoc: ?Sized;
}
impl<'a> A<'a> for () {
type Assoc = &'a ();
fn hello() -> impl for<'a> A<'a, Assoc: Sized> {
()
fn main() {}