#include <type_traits>

// Roland
template<bool...>
struct all_helper
{};

template<bool... Bs>
using all_t = std::is_same<all_helper<Bs...>, all_helper<(Bs or true)...>>;

// Augustin
template <bool Value>
struct noexcept_bool
{
	constexpr explicit noexcept_bool() noexcept(Value) {}
};

template <typename ...T>
void noexcept_join(T const&...) noexcept;

template <bool ...Values>
struct noexcept_and
: std::integral_constant<
	bool
	 , noexcept(noexcept_join(noexcept_bool<Values>{}...))
	>
{};


int main()
{
	static_assert(all_t<
			true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true, // Repeat a few thousand times
			true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true 
			>::value, "aarg");
}