[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