The satisfaction of constraints is determined
when forming the template name of an explicit instantiation
in which all template arguments are specified (
[temp.names]),
or, for explicit instantiations of function templates,
during template argument deduction (
[temp.deduct.decl])
when one or more trailing template arguments are left unspecified
.