Proposed resolution (July, 2009): Change 13.9.4 [temp.expl.spec] paragraph 1 as follows: An explicit specialization of any of the following: ... member class template of a class or class
template non-deleted member function template of a class or
class template can be declared...
N2800 comment
DE 14 The list of entities that can be explicitly specialized in
13.9.4 [temp.expl.spec] paragraph 1 includes member templates of
class templates but not member templates of non-template classes.
This omission could lead to the conclusion that such member templates
cannot be explicitly specialized. (Note, however, that paragraph 3
refers to βan explicit specialization for a member template of
[a] class or class template.β)