The D Programming Language's Unofficial Docs
beta
Dlang.org
Get Help
ContractChecks.postcondition
dmd
frontend
ContractChecks
Postcondition checks (out contract).
struct
ContractChecks
ContractChecking
postcondition
;
dmd
frontend
ContractChecks
variables
arrayBounds
assert_
invariant_
postcondition
precondition
switchError
Suggestion Box / Bug Report
Postcondition checks (out contract).