Title
Clarify kinds of permitted template template arguments
Status
tentatively ready
Section
13.4.4 [temp.arg.template]
Submitter
CWG

Created on 2025-09-26.00:00:00 last changed 2 weeks ago

Messages

Date: 2025-09-26.21:40:43

Proposed resolution (approved by CWG 2025-09-26):

Change in 13.4.4 [temp.arg.template] paragraph 1 as follows:

A template-argument for a template template parameter shall be the name of a template. For a type-tt-parameter, the name shall denote a class template or , alias template, or type template template parameter. For a variable-tt-parameter , the name shall denote a variable template or variable template template parameter. For a concept-tt-parameter , the name shall denote a concept or concept template parameter. ...
Date: 2025-09-26.00:00:00

(Split off from issue 3003.)

The specification in 13.4.4 [temp.arg.template] paragraph 1 omits template template parameters from the list of entities that can be used as template arguments. This is unintentional.

History
Date User Action Args
2025-09-26 21:40:43adminsetmessages: + msg8133
2025-09-26 00:00:00admincreate