Rollup merge of #105555 - krasimirgg:llvm-int-opt-2, r=cuviper

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