This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

3929. Preconditions for type traits should be Mandates

Section: 21.3.5.4 [meta.unary.prop], 21.3.7 [meta.rel] Status: New Submitter: Alisdair Meredith Opened: 2023-05-01 Last modified: 2023-05-06

Priority: 3

View other active issues in [meta.unary.prop].

View all other issues in [meta.unary.prop].

View all issues with New status.

Discussion:

Since we have adopted the Constraints/Mandates/Preconditions form of wording, "preconditions" refer to runtime requirements, not compile-time. As such, the column labeled "preconditions" in Table 47: Type property predicates [tab:meta.unary.prop] would be better labeled as "Mandates".

This is an LWG issue and not editorial, and "Mandates" would require the library to diagnose violations, but after reviewing all traits in this table, I believe that is reasonable.

Table 48: Type property queries [tab:meta.unary.prop.query] shows how Mandates: elements can be integrated into the "Value" column if we preferred that approach, but for the number of entries in the first table seems like an aggressive change for consistency.

Similarly, for Table 49: Type relationship predicates [tab:meta.rel] the "Comments" column serves as a "Mandates" feature without using that term, so I suggest changing that column title too.

The other tables and type traits wording already appear to be adapted to the Mandates wording style.

[2023-05-24; Reflector poll]

Set priority to 3 after reflector poll.

See also issue 2939. We should not turn the preconditions into Mandates without fixing them first.

Proposed resolution:

This wording is relative to N4944.

  1. Change in 21.3.5.4 [meta.unary.prop], Table 47: Type property predicates [tab:meta.unary.prop] the column title "Preconditions" to "Mandates".

  2. Change in 21.3.7 [meta.rel], Table 49: Type relationship predicates [tab:meta.rel] the column title "Comments" to "Mandates".