Generic and fundamental language design issue

[Jakob Ovrum]

On Sunday, 4 November 2012 at 17:35:09 UTC, Tommi wrote:
> I wonder if it would be possible in D to let the compiler 
> allocate dynamic arrays on stack when it can statically 
> guarantee that it's safe to do so (no dangling references, 
> never increasing the size of the array, etc).

David Nadlinger was talking about how LDC does an optimization 
exactly like this, quite recently.