Created on 2020-04-07.00:00:00 last changed 15 months ago
This wording is relative to N4861.
Modify [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 ([temp.constr.decl])
andmeets all semantic requirements (if any) given in the specification of C
(1.3) — .
[ 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.
|2020-04-25 11:21:51||admin||set||messages: + msg11232|
|2020-04-11 20:55:18||admin||set||messages: + msg11216|