On 2/1/2017 9:28 AM, Michael Howell wrote: > This function signature *does* guarantee that src and self don't overlap, unlike
the C and D versions. Personally, I think that's at least as important as whether the function's pure or not.
The overlap is handled in C with the 'restrict' annotation. D does not have an equivalent.
