Действительно ли компиляторы C++ соответствуют правилу SFINAE массива нулевого размера? ⇐ C++

[Гость]

Около года или двух назад я прочитал о правилах SFINAE в C++. Они, в частности, заявляют,

Следующие ошибки типа являются ошибками SFINAE:

...

попытка создать массив пустых значений, массив ссылок, массив функций, массив отрицательного размера, массив нецелого размера или массив нулевого размера

Я решил использовать это правило в домашнем задании, но оно не сработало. Постепенно сокращая его, я пришел к такому небольшому примеру кода, который мне непонятен:

#include шаблон структура Чар {}; шаблон используя Failer = Char[0]; шаблон void y(Failer = 0) { std::cout