This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD status.
Section: 99 [support.contract.cviol] Status: NAD Submitter: Tim Song Opened: 2018-07-10 Last modified: 2019-08-05
Priority: 2
View all other issues in [support.contract.cviol].
View all issues with NAD status.
Discussion:
contract_violation has an assertion_level member function that is specified to return text "describing the assertion-level of the violated contract". There is, however, no assertion-level in [dcl.attr.contract], only contract-level.
By itself, this can probably be handled editorially as a typo, but we may want to reconsider the name of the function, which currently mirrors the (incorrect) name of the nonterminal.[2018-11 Reflector prioritization]
Set Priority to 2
[Post Cologne Mailing]
Contracts were removed from the C++20 draft in Cologne; closing as NAD.
Proposed resolution: