diff --git a/include/eve/module/core/regular/impl/is_less.hpp b/include/eve/module/core/regular/impl/is_less.hpp index b541ee6388..2f80ca1e0f 100644 --- a/include/eve/module/core/regular/impl/is_less.hpp +++ b/include/eve/module/core/regular/impl/is_less.hpp @@ -14,8 +14,6 @@ namespace eve::detail { if constexpr (O::contains(definitely)) { - static_assert(floating_value, "[eve::is_less] The definitely option is only supported for floating types."); - auto tol = o[definitely].value(T{}); if constexpr (integral_value) return a < eve::prev(b, tol); diff --git a/include/eve/module/core/regular/is_less.hpp b/include/eve/module/core/regular/is_less.hpp index a95a59f0eb..63425af819 100644 --- a/include/eve/module/core/regular/is_less.hpp +++ b/include/eve/module/core/regular/is_less.hpp @@ -29,6 +29,10 @@ namespace eve constexpr EVE_FORCEINLINE common_logical_t operator()(T a, U b) const requires (compatible_arithmetic_values) { + if constexpr (Options::contains(definitely)) + { + static_assert(floating_value, "[eve::is_less] The definitely option is only supported for floating types."); + } // static_assert( valid_tolerance, Options>::value, "[eve::is_less] simd tolerance requires at least one simd parameter." ); return EVE_DISPATCH_CALL(a, b); }