From ad902999208fa4c23cea753a5c111ca39dcc69b0 Mon Sep 17 00:00:00 2001
From: Patrick Wuttke <p.wuttke@dsfishlabs.com>
Date: Mon, 9 Feb 2026 10:17:54 +0100
Subject: [PATCH] Added implicitly_convertible concept.

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

diff --git a/source/mijin/util/concepts.hpp b/source/mijin/util/concepts.hpp
index a985a12..61d0490 100644
--- a/source/mijin/util/concepts.hpp
+++ b/source/mijin/util/concepts.hpp
@@ -66,6 +66,15 @@ concept deleter_type = requires(T deleter, TData* ptr)
     deleter(ptr);
 };
 
+template<typename T, typename TTo>
+concept implicitly_convertible = std::is_convertible_v<T, TTo>;
+
+template<typename T, template<typename...> typename TConstraint, typename... TArgs>
+concept not_type = !TConstraint<T, TArgs...>::value;
+
+template<typename T, typename TOther>
+concept not_same_as = not_type<T, std::is_same, TOther>;
+
 //
 // public functions
 //