add safe_cast

Author: lukevalenty

include/safe.hpp

@@ -10,3 +10,4 @@
 #include <safe/object.hpp>
 #include <safe/value.hpp>
 #include <safe/var.hpp>
+#include <safe/safe_cast.hpp>

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_);
+}