__overflows_type_constexpr
__overflows_type_constexpr(n, T), \
!__overflows_type_constexpr(n, T), \
__TEST_OVERFLOWS_TYPE(__overflows_type_constexpr, t1, t2, of); \
__TEST_OVERFLOWS_TYPE(__overflows_type_constexpr, t1, __t2, of);\