"Outlived by" bound for higher-ranked lifetimes

The following code yields a compilation error:

trait Foo<'a> {
    fn foo(&'a mut self);
}

impl<'a, T: 'a> Foo<'a> for Vec<T> {
    fn foo(&'a mut self) {}
}

fn bar<F>(x: &mut F) where F: for<'a> Foo<'a> {
    x.foo();
}

fn main() {
    let a = ();
    let mut v = vec![&a]; //~  ERROR `a` does not live long enough
                          //~^ reference must be valid for the static lifetime
    bar(&mut v);
}

This is the correct behavior, as v clearly does not implement Foo<'a> for all 'a.

I would like to use something like the following instead, but there is no way to achieve it:

fn bar<'x, F>(x: &'x mut F) where F: for<'a outlived by 'x> Foo<'a> { ... }

Start by compiling the Rust reproducer in the issue and reviewing how higher-ranked trait bounds and lifetime outlives requirements are currently handled. Done would require a settled design and implementation for expressing the proposed bound, with the example compiling under the intended semantics.