On Thursday, 18 August 2016 at 00:20:32 UTC, Chris Wright wrote:
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.
That's right. But for Ali's code, the compiler is clearly not
smart enough.
