You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since in p1971r0 where CA378 remove constrained non-template functions, the concrete rule is located in [dcl.decl.general] p4
The optional requires-clause ([temp.pre]) in an init-declarator or member-declarator shall be present only if the declarator declares a templated function ([dcl.fct]). When present after a declarator, the requires-clause is called the trailing requires-clause. The trailing requires-clause introduces the constraint-expression that results from interpreting its constraint-logical-or-expression as a constraint-expression.
However, it is just about requires-clause in an init-declarator or member-declarator. Whereas, function-definition is a distinct grammar that differs from them. How about the trailing requires-clause in a function-definition? Should it have had the same treatment with that in [dcl.decl.general] p4?
The text was updated successfully, but these errors were encountered:
Since in p1971r0 where CA378 remove constrained non-template functions, the concrete rule is located in [dcl.decl.general] p4
However, it is just about requires-clause in an init-declarator or member-declarator. Whereas, function-definition is a distinct grammar that differs from them. How about the trailing requires-clause in a function-definition? Should it have had the same treatment with that in [dcl.decl.general] p4?
The text was updated successfully, but these errors were encountered: