#include <traits.hpp>
template<typename T>
requires std::is_integral_v<std::remove_cvref_t<T>>;
requires !std::is_same_v<std::remove_cvref_t<T>, bool>;
requires std::is_arithmetic_v<decltype(n + 1)>;
requires !std::is_pointer_v<std::remove_cvref_t<T>>;
}