dmd ~master (2023-11-01T14:17:50Z)
Dub
Repo
ContractChecks.invariant_
dmd
frontend
ContractChecks
Invariant checks.
struct
ContractChecks
ContractChecking
invariant_
;
Meta
Source
See Implementation
dmd
frontend
ContractChecks
variables
arrayBounds
assert_
invariant_
postcondition
precondition
switchError
Invariant checks.