Auto merge of #89555 - oli-obk:nll_member_constraint_diag, r=estebank

[rust.git] / src / test / ui / lifetimes / issue-34979.rs

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

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

fn main() {}