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