Являются ли Clang и MSVC слишком либеральными, если я использую здесь int вместо std::size_t в качестве параметра шаблон ⇐ C++

[Anonymous]

Следующее компилируется в MSVC и Clang, но не в GCC:
#include
#include

template
struct IsSTDArray : std::false_type {};

template
struct IsSTDArray : std::true_type {};

int main() {

static_assert(IsSTDArray::value);
}

Ссылка здесь
Я так понимаю, GCC «технически» верен, верно?
Хотя в моем классе шаблона:
template
struct MyClass {};

MyClass my_class; // THIS WORKS

Но не в первом примере, который я привел, это более строго.
Интересно, что GCC и Clang не могут скомпилировать несоответствия без знака и знака (но принимают целочисленные различия в ширине), но MSVC даже принимает несоответствия со знаком и без знака, поэтому я думаю, что правила повсюду в отношении каждого компилятора.
template
struct MyClass {};

MyClass my_class; // THIS WORKS ON MSVC BUT NOT ON CLANG AND GCC


Подробнее здесь: https://stackoverflow.com/questions/798 ... tdsize-t-a