DPL: make base_of_template/specialization_of_template accept cr-q…

…ualified types (#13872)
AliceO2Group · Jan 21, 2025 · 9c5dea2 · 9c5dea2
1 parent 4d5a07f
commit 9c5dea2
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Framework/Foundation/include/Framework/Traits.h b/Framework/Foundation/include/Framework/Traits.h
@@ -34,8 +34,8 @@ inline constexpr bool is_specialization_v = is_specialization<T, Ref>::value;
 template <template <typename...> typename T, typename S>
 concept specialization_of_template = requires {
   {
-    []<typename... Ts>(T<Ts...>*) -> T<Ts...> {}(std::declval<S*>())
-  } -> std::same_as<S>;
+    []<typename... Ts>(T<Ts...>*) -> T<Ts...> {}(std::declval<std::decay_t<S>*>())
+  } -> std::same_as<std::decay_t<S>>;
 };
 
 template <typename A, typename B>
@@ -51,7 +51,7 @@ inline constexpr bool always_static_assert_v = always_static_assert<T...>::value
 
 template <template <typename...> typename B, typename D>
 concept base_of_template = requires {
-  []<typename... Ts>(B<Ts...>*) {}(std::declval<D*>());
+  []<typename... Ts>(B<Ts...>*) {}(std::declval<std::decay_t<D>*>());
 };
 
 template <template <typename...> typename B, typename D>