Re: Slicing static arrays should be @system

[bearophile]

Jonathan M Davis:

I honestly don't see how we could do otherwise
without the compiler being way, way smarter at detecting 
escaping references than is ever going
to happen.

One question is how much work does it take to precisely keep 
track of such memory zones inside the static type system of D? :-)

Bye,
bearophile