From a09637f0d1ee05cc8ccbd9b1b8e51f95824e8eea Mon Sep 17 00:00:00 2001
From: Luke Valenty <luke.valenty@intel.com>
Date: Thu, 15 Feb 2024 07:10:07 -0800
Subject: [PATCH] add safe_cast

---
 include/safe.hpp           |  1 +
 include/safe/safe_cast.hpp | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 include/safe/safe_cast.hpp

diff --git a/include/safe.hpp b/include/safe.hpp
index 3722100..a3dbba3 100644
--- a/include/safe.hpp
+++ b/include/safe.hpp
@@ -10,3 +10,4 @@
 #include <safe/object.hpp>
 #include <safe/value.hpp>
 #include <safe/var.hpp>
+#include <safe/safe_cast.hpp>
diff --git a/include/safe/safe_cast.hpp b/include/safe/safe_cast.hpp
new file mode 100644
index 0000000..be0565d
--- /dev/null
+++ b/include/safe/safe_cast.hpp
@@ -0,0 +1,21 @@
+#pragma once
+
+
+#include <safe/detail/concepts.hpp>
+#include <safe/detail/fwd.hpp>
+#include <safe/var.hpp>
+
+#include <concepts>
+
+
+template<
+    typename T, 
+    safe::Var F> 
+requires (
+    std::is_convertible_v<typename F::value_type, T> and
+    safe::detail::integral_type<T>::requirement >= F::requirement)
+[[nodiscard]] SAFE_INLINE constexpr auto safe_cast(
+    F const & src
+) {
+    return static_cast<T>(src.unsafe_value_);
+}