A refinement for pure implementation

[bearophile]

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