[Issue 24098] Safe variable can be initialized from `@system` static constructor.

d-bugmail at puremagic.com d-bugmail at puremagic.com
Tue Aug 22 14:59:32 UTC 2023


https://issues.dlang.org/show_bug.cgi?id=24098

--- Comment #2 from timon.gehr at 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.

--


More information about the Digitalmars-d-bugs mailing list