This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 119a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-12-20
[Voted into WP at April 2003 meeting.]
Although 13.2 [temp.param] paragraph 3 contains anassertion that
Atype-parameter defines its identifier to be atype-name (if declared withclass ortypename)
the grammar in 9.2.9.3 [dcl.type.simple] paragraph 1says that atype-name is either aclass-name, anenum-name, or atypedef-name. Theidentifierin a templatetype-parameter is none of those. Onepossibility might be to equate theidentifier with atypedef-name instead of directly with atype-name,which would have the advantage of not requiring parallel treatmentof the two in situations where they are treated the same (e.g.,inelaborated-type-specifiers, seeissue 245). See alsoissue 215.
Proposed resolution (Clark Nelson, March 2002):
In 13.2 [temp.param] paragraph 3,change "Atype-parameter defines its identifier to be atype-name"to "Atype-parameter defines its identifierto be atypedef-name"
In 9.2.9.5 [dcl.type.elab] paragraph 2,change "If the identifier resolves to atypedef-name or a templatetype-parameter"to "If the identifier resolves to atypedef-name".
This has been consolidated with the edits for some otherissues. See N1376=02-0034.