Merge pull request #331 from elbeno/ct-int-const

🎨 Don't double-wrap an `integral_constant` with `ct`

Author: elbeno

include/stdx/utility.hpp

@@ -260,14 +260,16 @@ constexpr auto is_aligned_with = [](auto v) -> bool {
 };
 
 #if __cplusplus >= 202002L
-
 namespace detail {
 template <typename T> struct ct_helper {
     // NOLINTNEXTLINE(google-explicit-constructor)
-    CONSTEVAL ct_helper(T t) : value(t) {}
+    CONSTEVAL ct_helper(auto t) : value(t) {}
     T value;
 };
+
 template <typename T> ct_helper(T) -> ct_helper<T>;
+template <typename T, T I>
+ct_helper(std::integral_constant<T, I>) -> ct_helper<T>;
 
 template <auto> CONSTEVAL auto cx_detect0() {}
 CONSTEVAL auto cx_detect1(auto) { return 0; }

test/utility.cpp

@@ -260,6 +260,12 @@ TEST_CASE("ct (integral)", "[utility]") {
                        std::integral_constant<unsigned int, 42> const>);
 }
 
+TEST_CASE("ct (integral constant)", "[utility]") {
+    constexpr auto vs = stdx::ct<std::integral_constant<int, 42>{}>();
+    STATIC_REQUIRE(
+        std::is_same_v<decltype(vs), std::integral_constant<int, 42> const>);
+}
+
 TEST_CASE("ct (bool)", "[utility]") {
     constexpr auto v = stdx::ct<true>();
     STATIC_REQUIRE(std::is_same_v<decltype(v), std::bool_constant<true> const>);