From b8a295f01dbb82e19dce92fd3a2048d98554eb75 Mon Sep 17 00:00:00 2001
From: Stanislaw Halik <sthalik@misaki.pl>
Date: Tue, 28 May 2024 03:11:24 +0200
Subject: entity: add non-const requirement for member pointers

This makes traversing template errors a bit easier.
---
 entity/concepts.hpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'entity')

diff --git a/entity/concepts.hpp b/entity/concepts.hpp
index e30a2c5e..871f6bbe 100644
--- a/entity/concepts.hpp
+++ b/entity/concepts.hpp
@@ -36,6 +36,8 @@ concept FieldWriter_memfn = requires(T& x, move_qualified<FieldType> value, F f)
 
 template<typename F, typename T, typename FieldType>
 concept FieldWriter_ptr = requires(T& x, move_qualified<FieldType> value, F f) {
+    requires std::is_reference_v<decltype(x.*f)>;
+    requires !std::is_const_v<std::remove_reference_t<decltype(x.*f)>>;
     { x.*f = value };
 };
 
-- 
cgit v1.2.3