On 11/10/2012 05:21 PM, bearophile wrote:
Timon Gehr:It is strongly pure regardless of potential aliasing in the return value. This is a bug.This can't be strongly pure: int[] foo2(int[] a) pure { a[0]++; return a; } Bye, bearophile
The point was that the code you gave should work even without your proposed enhancement.