diff --git a/source/templates.tex b/source/templates.tex index 8630072b29..0b74f18455 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -3393,11 +3393,13 @@ \end{itemize} \pnum -A partial specialization matches a given actual template argument -list if the template arguments of the partial specialization can be -deduced from the actual template argument list\iref{temp.deduct}, -and the deduced template arguments satisfy the associated constraints +A class template partial specialization \defnx{matches}{specialization!matches} +the template argument list of a class template specialization \tcode{A} if, given the type \tcode{P} +formed by the \grammarterm{simple-template-id} of the partial specialization, +template argument deduction\iref{temp.deduct.type} for \tcode{P} from \tcode{A} would succeed +and the deduced template arguments would satisfy the associated constraints of the partial specialization, if any\iref{temp.constr.decl}. + \begin{example} \begin{codeblock} template class A { }; // \#1