fn foo<T>() where for<'a> T: 'a {}

fn bar<'a>() {
    foo::<&'a i32>();
    //~^ ERROR lifetime may not live long enough
}

fn main() {
    bar();
}