From 50f252e896214b926c5fbff6b635de0b9af5842d Mon Sep 17 00:00:00 2001
From: Muhammad Haseeb <14217455+mhaseeb123@users.noreply.github.com>
Date: Mon, 21 Oct 2024 17:24:15 +0000
Subject: [PATCH] Use static_assert instead of enable_if

---
 cpp/include/cudf/detail/iterator.cuh | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/cpp/include/cudf/detail/iterator.cuh b/cpp/include/cudf/detail/iterator.cuh
index 9eefb90756e..30f36d6a5da 100644
--- a/cpp/include/cudf/detail/iterator.cuh
+++ b/cpp/include/cudf/detail/iterator.cuh
@@ -67,14 +67,17 @@ namespace detail {
  * @param f The unary function to apply to the counting iterator.
  * @return A transform iterator that applies `f` to a counting iterator
  */
-template <typename CountingIterType,
-          typename UnaryFunction,
-          typename = cuda::std::enable_if_t<cuda::std::is_integral_v<CountingIterType> and
-                                            cuda::std::numeric_limits<CountingIterType>::max() <=
-                                              cuda::std::numeric_limits<cudf::size_type>::max()>>
+template <typename CountingIterType, typename UnaryFunction>
 CUDF_HOST_DEVICE inline auto make_counting_transform_iterator(CountingIterType start,
                                                               UnaryFunction f)
 {
+  // Check if the `start` for counting_iterator is of size_type or a smaller integral type
+  static_assert(
+    cuda::std::is_integral_v<CountingIterType> and
+      cuda::std::numeric_limits<CountingIterType>::digits <=
+        cuda::std::numeric_limits<cudf::size_type>::digits,
+    "The `start` for the counting_transform_iterator must be size_type or smaller type");
+
   return thrust::make_transform_iterator(thrust::make_counting_iterator(start), f);
 }