Consider a class C with a user-specified destructor. Because it has a user-specified destructor, it is not trivially destructible. An array of C is not trivially destructible because C is not. However, the parser gets the wrong value for std::is_trivially_destructible<T> when T is such an array:

#include <type_traits>
struct C { ~C() {  } };
static_assert(!std::is_trivially_destructible<C>::value, "");    // passes
static_assert(!std::is_trivially_destructible<C[5]>::value, ""); // fails (unexpectedly)