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.
Section: 188.8.131.52 [res.on.requirements] Status: New Submitter: Tim Song Opened: 2020-04-07 Last modified: 2020-09-06
View all issues with New status.
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.
[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.
This wording is relative to N4861.
Modify 184.108.40.206 [res.on.requirements] as indicated:
-1- A sequence Args of template arguments is said to model a concept C if
(1.1) — Args satisfies C (13.5.3 [temp.constr.decl])
andmeets all semantic requirements (if any) given in the specification of C
(1.3) — .