Marc Schütz:
http://wiki.dlang.org/User:Schuetzm/scope
If a mutable argument of a function is tagged as unique, the type system guarantees that there are no other references to it. So can a function 'foo' like this be "strongly pure"?
int[] foo(unique int[] a) pure {
a[0]++;
return a;
}
Bye,
bearophile
