chore: change template parameters of Require

LiteLDev · Oct 18, 2024 · d59645b · d59645b
1 parent b72d6c3
commit d59645b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/ll/api/base/TypeTraits.h b/src/ll/api/base/TypeTraits.h
@@ -7,8 +7,8 @@
 
 namespace ll::traits {
 
-template <class T, template <class> class Z>
-concept Require = Z<T>::value;
+template <class T, template <class...> class Z, class... Ts>
+concept Require = Z<T, Ts...>::value;
 
 template <size_t N, class T, class... Ts>
 struct get_type {

diff --git a/src/ll/api/reflection/Serialization.h b/src/ll/api/reflection/Serialization.h
@@ -39,7 +39,7 @@ inline Expected<J> serialize_impl(T&& obj, meta::PriorityTag<1>)
     requires(Reflectable<std::remove_cvref_t<T>>);
 template <class J, class T>
 inline Expected<J> serialize_impl(T&& e, meta::PriorityTag<1>)
-    requires(concepts::Require<std::remove_cvref_t<T>, std::is_enum>);
+    requires(std::is_enum_v<std::remove_cvref_t<T>>);
 template <class J, class T>
 inline Expected<J> serialize_impl(T&& obj, meta::PriorityTag<0>)
     requires(std::convertible_to<std::remove_cvref_t<T>, J>);
@@ -194,7 +194,7 @@ inline Expected<J> serialize_impl(T&& obj, meta::PriorityTag<1>)
 }
 template <class J, class T>
 inline Expected<J> serialize_impl(T&& e, meta::PriorityTag<1>)
-    requires(concepts::Require<std::remove_cvref_t<T>, std::is_enum>)
+    requires(std::is_enum_v<std::remove_cvref_t<T>>)
 {
     return magic_enum::enum_name(std::forward<T>(e));
 }