D array expansion and non-deterministic re-allocation

[Bartosz Milewski]

Ali Cehreli Wrote:

> Neither 'a' nor 'b' own the elements; in that sense, if one is a slice then the other is a slice... In D, slices have "discretionary sharing semantics." Any slice may leave the sharing contract as it sees unfit.

So is your answer different from that of dsimcha? I'm sitting on a fence about it. Andrei, could you settle this issue (and a few others I raised before)?