Skip to content

Commit d2abd44

Browse files
committed
template <auto Callable, typename T>
concept handle_validator_type = std::integral<T> && std::predicate<decltype(Callable), T>;
1 parent 74f2c03 commit d2abd44

1 file changed

Lines changed: 1 addition & 4 deletions

File tree

src/native_handle.ixx

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -28,10 +28,7 @@ export namespace essence {
2828
concept handle_stroage_type = std::integral<T> && sizeof(T) >= sizeof(std::uintptr_t);
2929

3030
template <auto Callable, typename T>
31-
concept handle_validator_type = requires {
32-
requires std::integral<T>;
33-
{ Callable } -> std::predicate<T>;
34-
};
31+
concept handle_validator_type = std::integral<T> && std::predicate<decltype(Callable), T>;
3532

3633
template <std::integral T>
3734
T make_pointer_number(const void* pointer) noexcept {

0 commit comments

Comments
 (0)