Issue 3138: There is no such thing as assertion-level

Title: There is no such thing as assertion-level
Status: nad
Section: [support.contract.cviol]
Submitter: Tim Song

Created on 2018-07-10.00:00:00 last changed 57 months ago

Messages

msg10543 (view)

Date: 2019-08-05.16:05:14

[ Post Cologne Mailing ]

Contracts were removed from the C++20 draft in Cologne; closing as NAD.

msg10232 (view)

Date: 2018-11-27.04:34:19

[ 2018-11 Reflector prioritization ]

Set Priority to 2

msg10021 (view)

Date: 2018-07-10.00:00:00

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.

History
Date	User	Action	Args
2019-08-05 16:05:14	admin	set	messages: + msg10543
2019-08-05 16:05:14	admin	set	status: lewg -> nad
2018-11-27 04:34:19	admin	set	messages: + msg10232
2018-11-27 04:34:19	admin	set	status: new -> lewg
2018-07-10 00:00:00	admin	create