|Project:||Programming Language C++
This paper provides wording to resolve NB comments US298 and US300. It also resolves [LWG3345].
This wording is relative to [N4849].
Add the following paragraphs to 22.214.171.124 [res.on.requirements] before p1:
1 A sequence
Args of template arguments is said to model a concept
C (13.5.2 [temp.constr.decl]) and meets all semantic requirements (if any) given in the specification of
2 If the validity or meaning of a program depends on whether a sequence of template arguments models a concept, and the concept is satisfied but not modeled, the program is ill-formed, no diagnostic required.
[LWG3345] Daniel Krügler. Incorrect usages of “models” versus “satisfies”.
[N4849] Richard Smith. 2020. Working Draft, Standard for Programming Language C++.