From 36d7d156b7be58708e351adf2ddd94c10338319f Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Tue, 16 Dec 2025 10:12:43 +0100
Subject: feat: libSystem/Verify.h API tweaks and breaking changes.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 src/libSystem/SystemKit/Verify.h | 23 +++++++++++++++--------
 1 file changed, 15 insertions(+), 8 deletions(-)

(limited to 'src/libSystem/SystemKit/Verify.h')

diff --git a/src/libSystem/SystemKit/Verify.h b/src/libSystem/SystemKit/Verify.h
index b99dbecc..c584ac82 100644
--- a/src/libSystem/SystemKit/Verify.h
+++ b/src/libSystem/SystemKit/Verify.h
@@ -14,19 +14,26 @@
 namespace LibSystem::Verify {
 /// @author 0xf00sec, and Amlal El Mahrouss
 /// @brief safe cast operator.
-template <typename T, typename R = VoidPtr>
+template <class T, class R>
 inline R sys_safe_cast(const T* ptr) {
-  _rtl_assert(ptr, "safe cast failed!");
-  return static_cast<R>(const_cast<T*>(ptr));
+  ::_rtl_assert(ptr, "safe cast failed!");
+  return static_cast<R*>(const_cast<T*>(ptr));
 }
 
-template <typename T, typename U>
-struct must_cast_traits {
+template <class T, class R = Void>
+inline Void sys_safe_cast(const T* ptr) = delete;
+
+template <class T, class U>
+struct is_castable {
+  using return_type = U;
+
   constexpr static BOOL value = false;
 };
 
-template <typename T>
-struct must_cast_traits<T, T> {
+template <class T>
+struct is_castable<T, T> {
+  using return_type = T;
+
   constexpr static BOOL value = true;
 };
 
@@ -34,7 +41,7 @@ struct must_cast_traits<T, T> {
 /// @brief Safe constexpr cast.
 template <typename T, typename R>
 constexpr R* sys_constexpr_cast(T* ptr) {
-  static_assert(must_cast_traits<T, R>::value, "constexpr cast failed! types are mismatching!");
+  static_assert(is_castable<T, R>::value, "types cannot be casted.");
   return static_cast<R*>(ptr);
 }
 }  // namespace LibSystem::Verify
-- 
cgit v1.2.3