rvalues don't live long enough when using "ref"

[bblum]

This code does a use-after-free:

fn main() {
    let msg;
    match some(~"Hello") {
        some(ref m) => {
            msg = m;
        },  
        none => { fail }
    }   
    io::println(*msg);
}

Should it not compile? Or should liveness/borrowck ensure that the string live as long as the escaped reference?

[nikomatsakis]

My intention was the latter. However, I am looking into trans to see how challenging it will be to make that a reality. It might be hard, as trans is not very disciplined with regard to scheduling things to be freed and so forth.