trait Bar {
    type Type;
}
struct Foo<'a>(&'a ());
impl<'a> Bar for Foo<'f> { //~ ERROR undeclared lifetime
    type Type = u32;
}

fn test()
where
    for<'a> <Foo<'a> as Bar>::Type: Sized,
{
}

fn main() {}