Title
"models" should subsume like "satisfies"
Status
new
Section
[res.on.requirements]
Submitter
Tim Song

Created on 2020-04-07.00:00:00 last changed 5 months ago

Messages

Date: 2020-04-25.11:21:51

Proposed resolution:

This wording is relative to N4861.

  1. Modify [res.on.requirements] as indicated:

    -1- A sequence Args of template arguments is said to model a concept C if:

    1. (1.1) — Args satisfies C ([temp.constr.decl]);

    2. (1.2) — andArgs meets all semantic requirements (if any) given in the specification of C; and

    3. (1.3) — every concept found to be satisfied as part of the satisfaction determination above is also modeled.

Date: 2020-04-25.00:00:00

[ 2020-04-25 Issue Prioritization ]

Priority to 3 after reflector discussion. There was a temptation to resolve this as P0, but concerns were expressed that the "satisfied as part of the satisfaction" part was a bit confusing.

Date: 2020-04-07.00:00:00

It has been pointed out both on the LWG reflector and as editorial issue 3912 that the definition of "models" added in P2101R0 is not a model of clarity when a concept is defined in terms of other concepts.

History
Date User Action Args
2020-04-25 11:21:51adminsetmessages: + msg11232
2020-04-11 20:55:18adminsetmessages: + msg11216
2020-04-07 00:00:00admincreate