On Wed, 17 Aug 2016 22:12:25 +0000, Yuxuan Shui wrote: > But doing so would be incorrect if D doesn't provide strong aliasing > guarantees. And if D does provide these guarantees, we won't need to do > this manually.
The language can analyze all code that affects a local variable in many cases. You don't always need the language to guarantee it's impossible if the compiler can see that the user isn't doing anything funky.
