Timon Gehr:
It doesn't. The reinitialization may be observable through references obtained from earlier calls.
Right, so that pure function can return only const data:
const(int[]) foo() pure {
Is this idea still sufficiently useful? Perhaps not.
Bye,
bearophile
