Issue 881: Inconsistent requirement for naming template parameters

Title: Inconsistent requirement for naming template parameters
Status: concepts
Section: 13.2 [temp.param]
Submitter: Daniel Krügler

Created on 2009-04-25.00:00:00 last changed 179 months ago

Messages

msg2105 (view)

Date: 2009-04-25.00:00:00

The grammar for constrained-template-parameter given in 13.2 [temp.param] paragraph 1 is:

constrained-template-parameter:

::

_opt nested-name-specifier_opt concept-name

...

_opt identifier_opt

::

_opt nested-name-specifier_opt concept-name identifier_opt constrained-default-argument_opt

::

_opt nested-name-specifier_opt concept-name

<

simple-requirement-argument-list

> ...

_opt identifier

::

_opt nested-name-specifier_opt concept-name

<

simple-requirement-argument-list

>

identifier constrained-default-argument_opt

The identifier naming the parameter is optional in the first two productions but not in the latter two productions. Is there a reason for this discrepancy?

History
Date	User	Action	Args
2009-08-03 00:00:00	admin	set	status: open -> concepts
2009-04-25 00:00:00	admin	create