类模板部分专用化等价

两个不同的类模板部分专用化声明何时匹配?

在下面的代码中有两个部分专用化声明:

• S<constrain<T,has_accept_>, void>
• S<constrain<T,has_visit_>, void>

constrain 是等于 T 但使用 enable_if 以第二个参数作为概念。

GCC认为这两个部分专业化是 不同的 但是Clang和MSVC认为他们是 相等的 因此,拒绝代码:

#include <type_traits>
#include <utility>
using namespace std;

template<class T,class=void>
struct has_accept
  :false_type{};
template<class T>
struct has_accept<T,void_t<decltype(declval<const T&>().accept())>>
  :true_type{};

template<class T,class=void>
struct has_visit
  :false_type{};
template<class T>
struct has_visit<T,void_t<decltype(declval<const T&>().visit())>>
  :true_type{};

//pre c++17 clang/MSVC fix: default argument of template 
//   used as template template argument not implemented yet
template<class T> using has_accept_ = has_accept<T>;
template<class T> using has_visit_ = has_visit<T>;

template<class T,template<class> class TT,class=enable_if_t<TT<T>::value>>
using constrain = T;

template<class T,class=void>
struct S
  :false_type{};
template<class T>
struct S<constrain<T,has_accept_>,void>  // (1)
  :true_type{};
template<class T>
struct S<constrain<T,has_visit_>,void>  // (2)
 :true_type{};  // ==> MSVC and Clang: error (2) redefines (1)

我在标准中找不到任何可以指定部分专门化等价性的内容。 [temp.type] 这里似乎不适用。

关于部分专门化声明等价,标准怎么说?