Title
Redundant restriction on partial specialization argument
Status
cd4
Section
13.7.6.1 [temp.spec.partial.general]
Submitter
CWG

Created on 2014-11-04.00:00:00 last changed 94 months ago

Messages

Date: 2015-09-15.00:00:00

Proposed resolution (September, 2015):

Delete bullet 9.3 of 13.7.6.1 [temp.spec.partial.general]:

  • The argument list of the specialization shall not be identical to the implicit argument list of the primary template.

Date: 2016-02-15.00:00:00

[Adopted at the February, 2016 meeting.]

Bullets 9.3 and 9.4 of 13.7.6.1 [temp.spec.partial.general] say,

Within the argument list of a class template partial specialization, the following restrictions apply:

  • ...

  • The argument list of the specialization shall not be identical to the implicit argument list of the primary template.

  • The specialization shall be more specialized than the primary template (13.7.6.3 [temp.spec.partial.order]).

  • ...

The former is implied by the latter and should be omitted.

(See also issues 1315, 1647, and 2127.)

History
Date User Action Args
2017-02-06 00:00:00adminsetstatus: tentatively ready -> cd4
2015-11-10 00:00:00adminsetmessages: + msg5610
2015-11-10 00:00:00adminsetstatus: drafting -> tentatively ready
2015-05-25 00:00:00adminsetstatus: open -> drafting
2014-11-04 00:00:00admincreate