Forward changes for Motion 3

Author: tkoeppe

source/templates.tex

@@ -116,7 +116,8 @@
 In a function template declaration, the \grammarterm{unqualified-id} of the
 \grammarterm{declarator-id} shall be a name.
 \begin{note}
-In a class template declaration, if the \grammarterm{class-name}
+In a class or variable template declaration, if the
+declared name
 is a
 \grammarterm{simple-template-id},
 the declaration declares a partial specialization\iref{temp.spec.partial}.
@@ -135,8 +136,8 @@
 \indextext{template name!linkage of}%
 A specialization (explicit or implicit) of one template is
 distinct from all specializations of any other template.
-A template, a template explicit specialization\iref{temp.expl.spec}, and a class
-template partial specialization shall not have C language linkage.
+A template, an explicit specialization\iref{temp.expl.spec}, and a
+partial specialization shall not have C language linkage.
 \begin{note}
 Default arguments for function templates and for member functions of
 class templates are considered definitions for the purpose of template
@@ -3129,23 +3130,21 @@
 
 \pnum
 \indextext{specialization!class template partial}%
-A partial specialization of a class template provides an alternative definition
+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.spec.partial.match}.
 A declaration of the primary template shall precede any specialization of
 that template.
-A partial specialization shall be reachable from any use of a class template
+A partial specialization shall be reachable from any use of a template
 specialization that would make use of the partial specialization as the result of
 an implicit or explicit instantiation; no diagnostic is required.
 
 \pnum
 Two partial specialization declarations declare the same entity
 if they are partial specializations of the same template and have equivalent
 \grammarterm{template-head}s and template argument lists\iref{temp.over.link}.
-Each class template partial specialization is a distinct template and
-definitions shall be provided for the members of a template partial
-specialization\iref{temp.class.spec.mfunc}.
+Each partial specialization is a distinct template.
 
 \pnum
 \begin{example}
@@ -3181,7 +3180,7 @@
 \end{example}
 
 \pnum
-The template parameters are specified in the angle bracket enclosed list
+The template parameters of a template are specified in the angle bracket enclosed list
 that immediately follows the keyword \keyword{template}.
 The template argument list of a partial specialization is
 the \grammarterm{template-argument-list} of the \grammarterm{class-name}.
@@ -3452,7 +3451,6 @@
 \rSec3[temp.spec.partial.member]{Members of class template partial specializations}
 
 \pnum
-A class template partial specialization is a distinct template.
 The members of the class template partial specialization are
 unrelated to the members of the primary template.
 Class template partial specialization members that are used in a way that
@@ -4789,8 +4787,8 @@
 the name of the nested class referenced as a member of the
 current instantiation, or
 \item
-in the definition of a partial specialization
-or a member of a partial specialization, the name of
+in the definition of a class template partial specialization
+or a member of a class template partial specialization, the name of
 the class template followed by a template argument list
 equivalent to that of the partial specialization\iref{temp.spec.partial}
 enclosed in \tcode{<>} (or an equivalent template alias specialization).