模板成员函数重载问题

Question

The Standard at N4296::13.1/2.2 [over.load] says:

Likewise, member function template declarations with the same name, the same parameter-type-list, and the same template parameter lists cannot be overloaded if any of them is a static member function template declaration.

So, I thought that the following program would be ill-formed:

#include <iostream>

struct A
{
    template <typename T>
    static void foo(){ }

    template <typename T>
    static int foo(){ return 0; }
};

int main(){ }

DEMO

In contrast, the program

#include <iostream>

struct A
{
    static void foo(){ }

    static int foo(){ return 0; }
};

int main(){ }

is ill-formed

DEMO

Is the first example a bug?

Answer 1

Currently subject of CWG #1252 :

The Standard does not allow overloading of member functions that differ only in their return type (cf enable_if ).

The wording you quoted is presumably going to be amended, since there is no reason whatsoever to disallow overloading of member function templates based on SFINAE in the return type; I'd regard the standard as defective and the implementations as correct.