Created on 2018-07-10.00:00:00, last changed 2018-11-27.04:34:19.
[ 2018-11 Reflector prioritization ]
Set Priority to 2
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-27 04:34:19||admin||set||messages: + msg10232|
|2018-11-27 04:34:19||admin||set||status: new -> lewg|