Steven Schveighoffer:
int[] foo(unique int[] a) pure {
...
I don't think so. Strong pure function optimizations would not
work for something like:
auto x = foo(a) ~ foo(a);
This is similar to:
unique x1 = foo(a);
unique x2 = foo(a);
unique x = x1 ~ x2;
When the call to the first foo ends you have a x1 reference to
the array data. Such reference x1 is unique, so now 'a' is not
usable any more, you can't pass 'a' to foo once more.
I need to learn more about such stuff of linear typing.
Bye,
bearophile
