Annex G (informative) Ill-formed, no diagnostic required [ifndr]

G.3 [basic]: Basics [ifndr.basic]

G.3.8[ifndr:basic.contract.handler.replacing.nonreplaceable]
Specified in: [basic.contract.handler]

1
#
On platforms where the contract-violation handler is not replaceable ([dcl.fct.def.replace]) a function declaration which could be such a replacement function is ill-formed, no diagnostic required.
2
#
[Example 1: #include <contracts> void handle_contract_violation(const std::contracts::contract_violation& violation); // IFNDR, if contract-violation handler is not replaceable — end example]