Issue 1075 - WG21 CWG Issues
Title
Grammar does not allow template alias in type-name
Status
c++11
Section
9.2.9.3 [dcl.type.simple]
Submitter
Jason Merrill

Created on 2010-06-06.00:00:00 last changed 131 months ago

Messages

msg3164 (view)
Date: 2010-11-15.00:00:00

[Voted into the WP at the November, 2010 meeting.]
msg2980 (view)
Date: 2010-09-15.00:00:00

Proposed resolution (September, 2010):

Change the definition of type-name in 9.2.9.3 [dcl.type.simple] paragraph 1 as follows:

    type-name:
      class-name
      enum-name
      typedef-name
      simple-template-id
msg2848 (view)
Date: 2010-06-06.00:00:00

According to 13.3 [temp.names] paragraph 7,

A template-id that names a template alias specialization is a type-name.

However, the grammar for type-name in 9.2.9.3 [dcl.type.simple] does not include a production for simple-template-id.
History
Date User Action Args
2014-03-03 00:00:00adminsetstatus: fdis -> c++11
2011-04-10 00:00:00adminsetstatus: dr -> fdis
2010-11-29 00:00:00adminsetmessages: + msg3164
2010-11-29 00:00:00adminsetstatus: tentatively ready -> dr
2010-10-18 00:00:00adminsetmessages: + msg2980
2010-10-18 00:00:00adminsetstatus: drafting -> tentatively ready
2010-06-06 00:00:00admincreate