Skip to content

Commit d37aa67

Browse files
committed
[temp] Fix confusion between two different forms of template-declaration.
When the template-head is followed by a concept-definition, it is not technically followed by a declaration, so avoid claiming that it is.
1 parent 4d88f30 commit d37aa67

File tree

1 file changed

+6
-7
lines changed

1 file changed

+6
-7
lines changed

source/templates.tex

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -68,6 +68,7 @@
6868
\grammarterm{declaration}
6969
in a
7070
\grammarterm{template-declaration}
71+
(if any)
7172
shall
7273

7374
\begin{itemize}
@@ -80,18 +81,16 @@
8081

8182
\item be a \grammarterm{deduction-guide}, or
8283

83-
\item be an \grammarterm{alias-declaration}, or
84-
85-
%%% FIXME: This is obviously wrong; a concept-definition is not a declaration.
86-
\item be a \grammarterm{concept-definition}.
84+
\item be an \grammarterm{alias-declaration}.
8785
\end{itemize}
8886

8987
A \grammarterm{template-declaration} is a \grammarterm{declaration}.
9088
\indextext{template!definition of}%
9189
A \grammarterm{template-declaration} is also a definition
92-
if its \grammarterm{declaration}
93-
%%% FIXME: This is wrong, a concept-definition is not a declaration.
94-
either is a \grammarterm{concept-definition} or
90+
if its
91+
\grammarterm{template-head} is followed by
92+
either a \grammarterm{concept-definition} or
93+
a \grammarterm{declaration} that
9594
defines a function, a class, a variable, or a
9695
static data member. A declaration introduced by a template declaration of a
9796
\indextext{variable template!definition of}%

0 commit comments

Comments
 (0)