Escape Analysis on reddit

[Walter Bright]

Steven Schveighoffer wrote:
> FWIW, I think with changes to the compiler/linker, this can be all detected 
> automatically without any extra syntax.  Consider that the linker currently 
> resolves dependencies of symbols.  It could also resolve incomplete escape 
> analysis graphs.  If the graphs don't match up, it's a linker error.  This 
> would be needed in the case of interfaces and virtual functions.

Pushing things off to the linker is not practical because then you 
cannot rely on standard, off-the-shelf linkers.