Escape analysis (full scope analysis proposal)

[Robert Jacques]

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?