Bug 4910 – [CTFE] Cannot evaluate a function that has failed at once

If the interpretor failed to evaluate a function with an invalid argument at once, then it fails to evaluate the same function with a valid argument. The following code fails (it should succeed): -------------------- test1.d int echo(int a) { return a; } template ctfe(int v) { } static int var; static assert(!__traits(compiles, ctfe!(echo(var)) )); enum c = echo(123); // (10) -------------------- % dmd -o- -c test1.d test1.d(10): Error: cannot evaluate echo(123) at compile time test1.d(10): Error: cannot evaluate echo(123) at compile time -------------------- But it succeeds if echo(123) is evaluated before the failure. -------------------- test2.d int echo(int a) { return a; } enum c = echo(123); template ctfe(int v) { } static int var; static assert(!__traits(compiles, ctfe!(echo(var)) )); -------------------- % dmd -o- -c test2.d % _ --------------------

D2 fix: https://github.com/D-Programming-Language/dmd/commit/a316552c8f22d1865eeee10887def3c1cb2460bf D1: https://github.com/D-Programming-Language/dmd/commit/669cafeb9fecc98d5f4689f379f638a9661f0b35

*** Issue 5606 has been marked as a duplicate of this issue. ***