src/test/ui/lifetimes/issue-34979.rs


1
2
3
4
5
6
7
8
9

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

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

fn main() {}