In many implementations, is_nothrow_default_constructible also checks if the destructor throws because it is effectively noexcept(T()). Same applies to is_trivially_default_constructible, which, in these implementations, also requires that the destructor is trivial: GCC bug 51452LWG issue 2116.

std::is_default_constructible<T> does not test that T x; would compile; it attempts direct-initialization with an empty argument list (see std::is_constructible). Thus, std::is_default_constructible_v<constint> and std::is_default_constructible_v<constint[10]> are true.