c++ - 如果特殊成员函数使用 typedefs 可以默认吗？

Question

Clang 编译得很好，但是 GCC 和 MSVC 抱怨不能operator=默认：

#include <type_traits>

template<class T>
struct S
{
    typedef typename std::enable_if<!std::is_enum<T>::value, S>::type Me;
    S &operator=(Me const &) = default;
};

int main()
{
    S<int> s1, s2;
    s1 = s2;
}

这段代码合法吗？如果不是，如果Me被定义为是否合法typedef S Me;？