RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-05-31 11:28:12 +00:00
Code Issues Activity Actions

AK: Move the definition of IsCallableWithArguments to Function.h

Browse source 
It will allow us to use definitions from both `StdLibExtraDetails.h` and
`Concepts.h` at the same time.
This commit is contained in:
Lucas CHOLLET 2023-01-18 18:48:31 -05:00 • committed by Andrew Kaster
parent e538fa203e
commit d9f632fee7
2 changed files with 11 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
AK/Function.h
View file

@ -36,6 +36,16 @@
namespace AK {
namespace Detail {
template<typename T, typename... Args>
inline constexpr bool IsCallableWithArguments = requires(T t) {
t(declval<Args>()...);
};
}
using Detail::IsCallableWithArguments;
template<typename>
class Function;
@ -271,4 +281,5 @@ private:
#if USING_AK_GLOBALLY
using AK::Function;
using AK::IsCallableWithArguments;
#endif

4
AK/StdLibExtraDetails.h
View file

@ -522,9 +522,6 @@ inline constexpr bool IsTrivial = __is_trivial(T);
template<typename T>
inline constexpr bool IsTriviallyCopyable = __is_trivially_copyable(T);
template<typename T, typename... Args>
inline constexpr bool IsCallableWithArguments = requires(T t) { t(declval<Args>()...); };
template<typename T, typename... Args>
inline constexpr bool IsConstructible = requires { ::new T(declval<Args>()...); };
@ -635,7 +632,6 @@ using AK::Detail::IntegerSequence;
using AK::Detail::IsArithmetic;
using AK::Detail::IsAssignable;
using AK::Detail::IsBaseOf;
using AK::Detail::IsCallableWithArguments;
using AK::Detail::IsClass;
using AK::Detail::IsConst;
using AK::Detail::IsConstructible;