diff --git a/source/support.tex b/source/support.tex index e75b9a1302..bb3e836757 100644 --- a/source/support.tex +++ b/source/support.tex @@ -819,6 +819,8 @@ #define @\defnlibxname{cpp_lib_reference_wrapper}@ 202403L // freestanding, also in \libheader{functional} #define @\defnlibxname{cpp_lib_reflection}@ 202506L // also in \libheader{meta} #define @\defnlibxname{cpp_lib_remove_cvref}@ 201711L // freestanding, also in \libheader{type_traits} +#define @\defnlibxname{cpp_lib_replaceable_contract_violation_handler}@ @\seebelow@ + // freestanding, also in \libheader{contracts} #define @\defnlibxname{cpp_lib_result_of_sfinae}@ 201210L // freestanding, also in \libheader{functional}, \libheader{type_traits} #define @\defnlibxname{cpp_lib_robust_nonmodifying_seq_ops}@ 201304L // freestanding, also in \libheader{algorithm} @@ -915,6 +917,12 @@ the requirements of a hosted implementation, and to the integer literal \tcode{0} otherwise\iref{new.delete}. +\pnum +The macro \xname{cpp_lib_replaceable_contract_violation_handler} is defined to +the integer literal \tcode{202603L} +if the contract-violation handler is replaceable, and +to the integer literal \tcode{0} otherwise\iref{basic.contract.handler}. + \pnum \recommended Freestanding implementations should only define a macro from \libheader{version}