Is return by ref really @safe?

[Michel Fortin]

This compiles, but should it?

@safe
ref int foo(ref int a) {
        return a;
}

@safe
ref int bar() {
        int a;
        return foo(a); // leaking reference to a beyond bar's scope
}

--
Michel Fortin
michel.for...@michelf.com
http://michelf.com/