From 0e988a4d9eb0741a1e634cb1b620d8ac50abfc1d Mon Sep 17 00:00:00 2001
From: Patrick Wuttke <p.wuttke@dsfishlabs.com>
Date: Sat, 30 Aug 2025 00:31:05 +0200
Subject: [PATCH] Added member_pointer_of traits.

---
 source/mijin/util/traits.hpp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/source/mijin/util/traits.hpp b/source/mijin/util/traits.hpp
index bddd0c0..67426f9 100644
--- a/source/mijin/util/traits.hpp
+++ b/source/mijin/util/traits.hpp
@@ -192,6 +192,18 @@ struct is_type_member<TElement, TCollection<Ts...>>
 template<typename TElement, typename TCollection>
 constexpr bool is_type_member_v = is_type_member<TElement, TCollection>::value;
 
+template<typename T, typename TObject>
+struct is_member_object_pointer_of : std::false_type {};
+
+template<typename TMember, typename TObject>
+struct is_member_object_pointer_of<TMember (TObject::*), TObject> : std::true_type {};
+
+template<typename T, typename TObject>
+inline constexpr bool is_member_object_pointer_of_v = is_member_object_pointer_of<T, TObject>::value;
+
+template<typename T, typename TObject>
+concept member_object_pointer_of = is_member_object_pointer_of_v<T, TObject>;
+
 template<typename TFrom, typename TTo>
 using copy_const_t = std::conditional_t<std::is_const_v<TFrom>, std::add_const_t<TTo>, std::remove_const_t<TTo>>;