This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 116a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2024-12-19
[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.)
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.