ddc ~master (2022-05-11T07:34:37.0755476)
Dub
Repo
ContractChecks.arrayBounds
dmd
frontend
ContractChecks
Array bound checks.
struct
ContractChecks
ContractChecking
arrayBounds
;
Meta
Source
See Implementation
dmd
frontend
ContractChecks
variables
arrayBounds
assert_
invariant_
postcondition
precondition
switchError
Array bound checks.