On 8/17/2016 3:12 PM, 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. It would be correct for that loop if the user does it.