1 files changed, 0 insertions, 40 deletions
diff --git a/dev/libSystem/SystemKit/Verify.h b/dev/libSystem/SystemKit/Verify.h
deleted file mode 100644
index 7d15435a..00000000
--- a/dev/libSystem/SystemKit/Verify.h
+++ /dev/null
@@ -1,40 +0,0 @@
-/* ========================================
-
-   Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-   File: Verify.h
-   Purpose: System Call Interface Verification Layer.
-
-   ======================================== */
-
-#pragma once
-
-#include <libSystem/SystemKit/System.h>
-
-namespace LibSystem::Verify {
-/// @author 0xf00sec, and Amlal El Mahrouss
-/// @brief safe cast operator.
-template <typename T, typename R = VoidPtr>
-inline R sys_safe_cast(const 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 {
-  constexpr static BOOL value = false;
-};
-
-template <typename T>
-struct must_cast_traits<T, T> {
-  constexpr static BOOL value = true;
-};
-
-/// @author Amlal El Mahrouss
-/// @brief Safe constexpr cast.
-template <typename T, typename R>
-inline constexpr R* sys_constexpr_cast(T* ptr) {
-  static_assert(must_cast_traits<T, R>::value, "constexpr cast failed! types are mismatching!");
-  return static_cast<R*>(ptr);
-}
-}  // namespace LibSystem::Verify