https://issues.dlang.org/show_bug.cgi?id=24098
--- Comment #2 from timon.g...@gmx.ch --- I think the program is still at odds with the language specification even if requirement 2 is not considered to be violated, because clearly it violates requirement 1 and the preconditions hold (the preconditions do not say anything about the state of global variables). I think this is a related but somewhat independent bug in the specification, because there could also be `@trusted` code that messes up the state of a non-`@system` global. --