Possible fixup: Rename labels for partial specialization subclauses.

Author: jensmaurer

source/classes.tex

@@ -60,7 +60,7 @@
 A class declaration where the \grammarterm{class-name}
 in the \grammarterm{class-head-name} is a \grammarterm{simple-template-id}
 shall be an explicit specialization\iref{temp.expl.spec} or
-a partial specialization\iref{temp.class.spec}.
+a partial specialization\iref{temp.spec.partial}.
 A \grammarterm{class-specifier} whose
 \grammarterm{class-head} omits the
 \grammarterm{class-head-name} defines an unnamed class.

source/declarations.tex

@@ -7188,7 +7188,7 @@
 namespace is implicitly inserted into the enclosing namespace as for an unnamed
 namespace\iref{namespace.unnamed}. Furthermore, each
 member of the inline namespace can subsequently be partially
-specialized\iref{temp.class.spec}, explicitly
+specialized\iref{temp.spec.partial}, explicitly
 instantiated\iref{temp.explicit}, or explicitly specialized\iref{temp.expl.spec} as
 though it were a member of the enclosing namespace. Finally, looking up a name in the
 enclosing namespace via explicit qualification\iref{namespace.qual} will include
@@ -7889,7 +7889,7 @@
 considered when a use of the name is made. Thus, additional
 overloads added after the \grammarterm{using-declaration} are ignored, but
 default function arguments\iref{dcl.fct.default}, default template
-arguments\iref{temp.param}, and template specializations~(\ref{temp.class.spec},
+arguments\iref{temp.param}, and template specializations~(\ref{temp.spec.partial},
 \ref{temp.expl.spec}) are considered.
 \end{note}
 \begin{example}
@@ -7921,7 +7921,7 @@
 of that template. If a \grammarterm{using-declaration} names a
 template, partial specializations introduced after the
 \grammarterm{using-declaration} are effectively visible because the primary
-template is visible\iref{temp.class.spec}.
+template is visible\iref{temp.spec.partial}.
 \end{note}
 
 \pnum

source/templates.tex

@@ -123,7 +123,7 @@
 declared name
 is a
 \grammarterm{simple-template-id},
-the declaration declares a partial specialization\iref{temp.class.spec}.
+the declaration declares a partial specialization\iref{temp.spec.partial}.
 \end{note}
 
 \pnum
@@ -157,7 +157,7 @@
 \pnum
 A class template shall not have the same name as any other
 template, class, function, variable, enumeration, enumerator, namespace, or
-type in the same scope\iref{basic.scope}, except as specified in~\ref{temp.class.spec}.
+type in the same scope\iref{basic.scope}, except as specified in~\ref{temp.spec.partial}.
 Except that a function template can be overloaded either by non-template
 functions\iref{dcl.fct} with the same name or by other function templates
 with the same name\iref{temp.over},
@@ -1321,7 +1321,7 @@
 parameter.
 
 \pnum
-Any partial specializations\iref{temp.class.spec} associated with the
+Any partial specializations\iref{temp.spec.partial} associated with the
 primary template are considered when a
 specialization based on the template
 \grammarterm{template-parameter}
@@ -1991,7 +1991,7 @@
 \item the best viable candidate of non-template functions\iref{over.match.best},
 \item the address of a non-template function\iref{over.over},
 \item the matching of template template arguments\iref{temp.arg.template},
-\item the partial ordering of class template specializations\iref{temp.class.order}, and
+\item the partial ordering of class template specializations\iref{temp.spec.partial.order}, and
 \item the partial ordering of function templates\iref{temp.func.order}.
 \end{itemize}
 \end{note}
@@ -2165,7 +2165,7 @@
 \begin{note}
 A \grammarterm{template-id}
 cannot be the declared name of a primary template declaration.
-However, this syntax is allowed in partial specializations\iref{temp.class.spec}.
+However, this syntax is allowed in partial specializations\iref{temp.spec.partial}.
 \end{note}
 
 \pnum
@@ -3068,7 +3068,7 @@
 \pnum
 A template friend declaration specifies that all specializations of that
 template, whether they are implicitly instantiated\iref{temp.inst}, partially
-specialized\iref{temp.class.spec} or explicitly specialized\iref{temp.expl.spec},
+specialized\iref{temp.spec.partial} or explicitly specialized\iref{temp.expl.spec},
 are friends of the class containing the template friend declaration.
 \begin{example}
 \begin{codeblock}
@@ -3172,9 +3172,9 @@
 Such a constrained friend function or function template declaration
 does not declare the same function or function template as a declaration in any other scope.
 
-\rSec2[temp.class.spec]{Partial specialization}
+\rSec2[temp.spec.partial]{Partial specialization}
 
-\rSec3[temp.class.spec.general]{General}
+\rSec3[temp.spec.partial.general]{General}
 
 \pnum
 \indextext{specialization!class template partial}%
@@ -3190,7 +3190,7 @@
 A partial specialization of a template provides an alternative definition
 of the template that is used instead of the primary definition when the
 arguments in a specialization match those given in the partial
-specialization\iref{temp.class.spec.match}.
+specialization\iref{temp.spec.partial.match}.
 The primary template shall be declared before any partial specializations of
 that template.
 A partial specialization shall be declared before the first use of a template
@@ -3333,7 +3333,7 @@
 \end{example}
 \item
 The partial specialization shall be more specialized than the primary
-template\iref{temp.class.order}.
+template\iref{temp.spec.partial.order}.
 
 \item
 The template parameter list of a partial specialization shall not contain default
@@ -3358,7 +3358,7 @@
 but will be checked when substituting into the partial specialization.
 \end{note}
 
-\rSec3[temp.class.spec.match]{Matching of partial specializations}
+\rSec3[temp.spec.partial.match]{Matching of partial specializations}
 
 \pnum
 When a template is used in a context that requires an instantiation of
@@ -3375,7 +3375,7 @@
 generated from that partial specialization.
 \item
 If more than one matching partial specialization is found,
-the partial order rules\iref{temp.class.order} are used to determine
+the partial order rules\iref{temp.spec.partial.order} are used to determine
 whether one of the partial specializations is more specialized than the
 others.
 If such a partial specialization exists,
@@ -3446,7 +3446,7 @@
 The template arguments of a partial specialization are deduced from the arguments
 of the primary template.
 
-\rSec3[temp.class.order]{Partial ordering of partial specializations}
+\rSec3[temp.spec.partial.order]{Partial ordering of partial specializations}
 
 \pnum
 \indextext{more specialized!class template}%
@@ -3522,7 +3522,7 @@
 because \tcode{B} is more specialized than \tcode{A}.
 \end{example}
 
-\rSec3[temp.class.spec.mfunc]{Members of class template partial specializations}
+\rSec3[temp.spec.partial.member]{Members of class template partial specializations}
 
 \pnum
 The template parameter list of a member of a class template partial
@@ -4270,7 +4270,7 @@
 A concept cannot be
 explicitly instantiated\iref{temp.explicit},
 explicitly specialized\iref{temp.expl.spec},
-or partially specialized\iref{temp.class.spec}.
+or partially specialized\iref{temp.spec.partial}.
 \end{note}
 
 \pnum

source/xrefdelta.tex

@@ -25,5 +25,12 @@
 
 \movedxref{re.def}{intro.refs}
 
+% P2096R2 Generalized wording for partial specializations
+\movedxref{temp.class.spec}{temp.spec.partial}
+\movedxref{temp.class.spec.general}{temp.spec.partial.general}
+\movedxref{temp.class.spec.match}{temp.spec.partial.match}
+\movedxref{temp.class.order}{temp.spec.partial.order}
+\movedxref{temp.class.spec.mfunc}{temp.spec.partial.member}
+
 % Deprecated features.
 %\deprxref{old.label}  (if moved to depr.old.label, otherwise use \movedxref)