[support.contract.invoke] (original) (raw)
17 Language support library [support]
17.10 Contract-violation handling [support.contract]
17.10.4 Invoke default handler [support.contract.invoke]
void invoke_default_contract_violation_handler(const contract_violation& v);
Effects: Invokes the default contract-violation handler ([basic.contract.handler]) with the argument v.