Skip to content

Commit ae227c7

Browse files
eisenwavetkoeppe
authored andcommitted
CWG3080 Clarify kinds of permitted template template arguments
1 parent 5b61c71 commit ae227c7

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

source/templates.tex

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1465,11 +1465,14 @@
14651465
template parameter
14661466
shall be the name of a template.
14671467
For a \grammarterm{type-tt-parameter},
1468-
the name shall denote a class template or alias template.
1468+
the name shall denote a class template, alias template, or
1469+
type template template parameter.
14691470
For a \grammarterm{variable-tt-parameter},
1470-
the name shall denote a variable template.
1471+
the name shall denote a variable template or
1472+
variable template template parameter.
14711473
For a \grammarterm{concept-tt-parameter},
1472-
the name shall denote a concept.
1474+
the name shall denote a concept or
1475+
concept template parameter.
14731476
Only primary templates are considered when matching the template template
14741477
argument with the corresponding parameter; partial specializations are not
14751478
considered even if their parameter lists match that of the template template

0 commit comments

Comments
 (0)