template <typename T, typename ...Args>
struct is_noexcept_constructible {
   static constexpr bool value = std::is_aggregate_v<T> ? noexcept(T{std::declval<Args>()...}) : std::is_nothrow_constructible_v<T, Args...>;
};
template<typename T, typename ...Args>
constexpr bool is_noexcept_constructible_v = is_noexcept_constructible<T, Args...>::value;

struct Foo {
   int a;
   int b;
};

class Boo {
   int a;
   int b;

public:
   Boo(int a, int b) noexcept: a(a), b(b) {}
};

static_assert(is_noexcept_constructible_v<Foo, int, int>);
static_assert(is_noexcept_constructible_v<Boo, int, int>);