Escape analysis (full scope analysis proposal)

[Andrei Alexandrescu]

Robert Jacques wrote:
> On Sun, 02 Nov 2008 10:12:46 -0500, Andrei Alexandrescu 
> <SeeWebsiteForEmail at erdani.org> wrote:
> 
>> * Make all ref parameters scoped by default. There will be impossible 
>> for a function to escape the address of a ref parameter without a 
>> cast. I haven't proved it to myself yet, but I believe that if 
>> pointers are not used and with the amendments below regarding arrays 
>> and delegates, this makes things entirely safe. In Walter's words, "it 
>> buttons things pretty tight".
> 
> Does this mean the whole shared/local/scope issue for classes is being 
> sidestepped for now?

What issue do you have in mind?

Andrei