What does this compile-time check report about the function's exception specification?

void h() noexcept(false); static_assert(noexcept(h()) == false); void k() noexcept(sizeof(int) == 4); // On a typical platform, what is noexcept(k())?