trait Foo {}
impl<'a, T> Foo for &'a T {}

struct Ctx<'a>(&'a ())
where
    &'a (): Foo, //~ ERROR: type annotations needed
    &'static (): Foo;

fn main() {}