CA110 13.04.2 [temp.constr.decl] p3 Associated constraints for non-template functions #109
Description
Overload resolution ([over.match.best]) asks us to prefer a more constrained non-template function using rules that order declarations based on their associated constraints ([temp.constr.order]), but “associated constraints” are defined for templates ([temp.constr.decl]) and not for functions.
Proposed change:
Add the following as a new paragraph before the subject paragraph:
The associated constraints of a non-template function is the normal form of the constraint-expression introduced by the trailing requires-clause, if any; otherwise, the function has no associated constraints.