ddc ~master (2020-05-01T11:40:35Z)
Dub
Repo
ContractChecks.assert_
dmd
frontend
ContractChecks
Assert checks.
struct
ContractChecks
ContractChecking
assert_
;
Meta
Source
See Implementation
dmd
frontend
ContractChecks
variables
arrayBounds
assert_
invariant_
postcondition
precondition
switchError
Assert checks.