Lifetime error returning a tuple, one value referencing the other

Consider the following block of code:

struct Foo<'a> {
    bar : &'a Bar
}

struct Bar {}

fn test<'a>() -> (Bar, Foo<'a>) {
    let bar = Bar {};
    let foo = Foo { bar : &bar };

    (bar, foo)
}

fn main() {
    let (bar, foo) = test();
}

which gives the following error:

error[E0515]: cannot return value referencing local variable `bar`
  --> main.rs:11:5
   |
9  |     let foo = Foo { bar : &bar };
   |                           ---- `bar` is borrowed here
10 | 
11 |     (bar, foo)
   |     ^^^^^^^^^^ returns a value referencing data owned by the current function

However the tuple returns the two values together, one of which contains a reference to the other. The compiler should be able to identify that the ownership of bar is transferred out of the function alongside the reference to it.

Start by reproducing the minimal Rust example in the issue and reading the E0515 diagnostic. Investigate the compiler's ownership and lifetime analysis for tuple returns where one value references another; done means establishing and implementing a well-defined outcome for this case, with regression coverage for the example.