Bug 19235 – Repeatedly calling non-pure function in non-pure literal nested in pure function is broken

The test case is much simpler than the title: ------------------------------------------------- struct FloatingPointControl { void foo() pure { auto impl = function bool() { setControlState(0); setControlState(0); return 0; }; } private: static void setControlState(uint newState) { } } ------------------------------------------------- dmd -c test.d test.d(7): Error: pure function test.FloatingPointControl.foo cannot call impure function test.FloatingPointControl.setControlState Comment one of the setControlState calls and the test case compiles.

Same problem with static nested functions: ------------------------------------------------- struct FloatingPointControl { void foo() pure { static bool nested() { setControlState(0); setControlState(0); return 0; } } private: static void setControlState(uint newState) { } } -------------------------------------------------

The code compiles with the latest git master, which is correct: you can define a non pure function in a pure function as long as you don't call it.