Bug 5907 – CTFE: Ref assignments are noop at compile time

auto ok() { int[2] result; foreach (index, ref sample; result) { result[index] = 1; } return result; } auto fail() { int[2] result; foreach (index, ref sample; result) { sample = 1; } return result; } float[2] ctfe_ok = ok(); float[2] ctfe_fail = fail(); void main() { assert(ok == [1, 1]); // ok assert(fail == [1, 1]); // ok assert(ctfe_ok == [1, 1]); assert(ctfe_fail == [1, 1]); // throws } Unfortunately they fail silently and then you have bugs in your code. I'm not sure but maybe this bug was reported already? (or a fix is scheduled for the next release?) I couldn't be sure so I'm reporting it just in case.

Oh btw sorry about using float[2] instead of int[2] there. I was quickly converting some existing code. The bug is still there if ctfe_ok and ctfe_fail are typed as ints.

dup of 1330, which is fixed. *** This issue has been marked as a duplicate of issue 1330 ***