This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of WP status.
Section: 184.108.40.206.2 [macro.names] Status: WP Submitter: Tim Song Opened: 2018-06-30 Last modified: 2018-11-13
View all other issues in [macro.names].
View all issues with WP status.
expects and ensures are not technically described as attribute-tokens when used in a contract-attribute-specifier, so the existing prohibition in 220.127.116.11.2 [macro.names] doesn't apply to them.The remaining special identifiers used by the contract attributes are all already covered by existing wording: assert is also a library name so falls under p1, default is a keyword, and both axiom and audit were added to Table 4.
[2018-07-20 Status to Tentatively Ready after five positive votes on the reflector.]
[2018-11, Adopted in San Diego]
This wording is relative to N4762.
Change 18.104.22.168.2 [macro.names] p2 as indicated:
-2- A translation unit shall not #define or #undef names lexically identical to keywords, to the identifiers listed in Table 4,
orto the attribute-tokens described in 9.12 [dcl.attr].