[temp.constr.constr.general] (original) (raw)

In order for a constrained template to be instantiated ([temp.spec]), its associated constraintsshall be satisfied as described in the following subclauses.

[Note 1:

Forming the name of a specialization of a class template, a variable template, or an alias template ([temp.names]) requires the satisfaction of its constraints.

Overload resolutionrequires the satisfaction of constraints on functions and function templates.

— _end note_]