[Voted into WP at March, 2010 meeting.]

Proposed resolution (October, 2009):

This issue is resolved by the resolution of issue 845.

Notes from the July, 2009 meeting:

The intent is that this usage should be supported.

It is not clear whether the following definition of an explicit specialization of a member function template is permitted or not:

    template <typenanme T> struct S {
      template <typename U> void f();
    };
    template <> template <typename U>
      void S<int>::f() = delete;

Is the explicit specialization the “first declaration” of the member function template?

(See also issue 845.)