Date
2016-02-15.00:00:00
Message id
5249

Content

[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.)