Comment #0 by qs.il.paperinik — 2021-03-29T14:53:09Z
Using DMD command-line options,[1] one can (en/dis)able certain checks. Using a version statement, one can conditionally compile code depending on *some* of these options.
D should provide a version identifier (or keyword) for *every* check. That identifier or keyword is exactly what it is in [1], and additionally, for every version identifier/keyword stated, another equivalent identifier should be available that starts with "check", in particular, I propose the following names: checkAsserts, checkBounds, checkInContracts, checkInvariants, checkOutContracts, checkFinalSwitch.
[1] https://dlang.org/dmd-windows.html#switch-check
Comment #1 by robert.schadek — 2024-12-13T19:15:37Z