путаница с оценкой класса шаблона is_array

Рассмотрите следующую программу (см. Живую демонстрацию Вот.)

#include <iostream>
#include <type_traits>
int main()
{
struct T{ virtual void foo()=0;};
std::cout<<std::boolalpha;
std::cout<<std::is_array<int[3]>::value<<'\n';
std::cout<<std::is_array<T>::value<<'\n';
std::cout<<std::is_array<T1[2]>::value<<'\n';
std::cout<<std::is_array<T[3]>::value<<'\n'; // why uncommenting this line causes compile time error?
}

Я знаю, что невозможно создать объект абстрактного класса. Здесь T является абстрактным, поэтому невозможно создать объект структуры T.
Но рассмотрим следующее утверждение

std::cout<<std::is_array<T[3]>::value<<'\n';

Почему это дает мне ошибку? Оператор только проверяет, является ли данный тип массивом или нет. Означает ли это, что если T массив
& значение статического члена value оценивает true тогда массив объектов будет создан? Но почему массив должен быть создан здесь?
зачем создавать массив, если я не могу использовать этот массив? Разве это не просто потеря памяти?

Тогда почему следующее утверждение не дает никакой ошибки компилятора?

std::cout<<std::is_array<T>::value<<'\n';

Что я не так понимаю здесь? Пожалуйста, помогите мне.