I think you should eliminate scope returns then. They are not useful. I can't think of a single reason why a newly allocated via GC or global reference return should have to be restricted to exist only within the statement. Both have infinite lifetimes.
It's for references to objects that are owned by the function (or object of which the function is a method). These don't have infinite lifetimes.
