Defined in carb/cpp/TypeTraits.h

template<typename Func, typename ...TArgs>
struct is_nothrow_invocable : public detail::is_nothrow_invocable_impl<void, Func, TArgs...>

Check if invoking Func with the TArgs pack will not throw.

If Func called with the given TArgs pack is callable and marked noexcept, then this structure will derive from true_type; otherwise, it will be false_type. If Func is not callable at all, then this will also be false_type.

This is equivalent to the C++17 is_nothrow_invocable meta query.