Bug 7790 – [CTFE] assignment to AA apply ref argument

struct Symbol { size_t _id; } size_t foo(Symbol[string] tree) { size_t i; foreach(k, ref v; tree) v._id = ++i; // has no effect return tree["a"]._id; } static assert(foo(["a":Symbol(0)]) == 1); -------- The assignment to the ref value field has no effect. Looks like the value literal is copied before calling the foreach body.

Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/93a019d5b10dc0fdc207912d8311a7498bad0e6b Fix issue 7790 [CTFE] assignment to AA apply ref argument 1. IndexExp: Stop copying the AA whenever it is indexed (This was horrific for performance, as well as being wrong). 2. aaApply: If the value is 'ref', create a reference to the value.

Commit pushed to dmd-1.x at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/c42dcec4f053ffa65feb278d09efb701fabc6fa0 Fix issue 7790 [CTFE] assignment to AA apply ref argument 1. IndexExp: Stop copying the AA whenever it is indexed (This was horrific for performance, as well as being wrong). 2. aaApply: If the value is 'ref', create a reference to the value.