From 2ecbbe3ee0f70ba38329cc24bec9df87d5b54e29 Mon Sep 17 00:00:00 2001
From: Stanislaw Halik <sthalik@misaki.pl>
Date: Sat, 4 May 2024 20:39:59 +0200
Subject: a w

---
 compat/borrowed-ptr.hpp | 33 ++++++++++++---------------------
 compat/borrowed-ptr.inl | 11 ++++++++++-
 2 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/compat/borrowed-ptr.hpp b/compat/borrowed-ptr.hpp
index d13d8ee2..b9db2e5b 100644
--- a/compat/borrowed-ptr.hpp
+++ b/compat/borrowed-ptr.hpp
@@ -1,19 +1,6 @@
 #pragma once
 #include "borrowed-ptr-fwd.hpp"
-#include "borrowed-ptr.inl"
-#include "borrowed-ptr.inl"
-
-#define FM_BPTR_DEBUG
-
-#ifdef FM_NO_DEBUG
-#undef FM_BPTR_DEBUG
-#endif
-#ifdef FM_BPTR_DEBUG
 #include "compat/assert.hpp"
-#define fm_bptr_assert(...) fm_assert(__VA_ARGS__)
-#else
-#define fm_bptr_assert(...) void()
-#endif
 
 namespace floormat::detail_borrowed_ptr {
 
@@ -28,24 +15,28 @@ concept StaticCastable = requires(From* from) {
 
 namespace floormat {
 
-template<typename U, typename T>
-bptr<U> static_pointer_cast(const bptr<T>& p) noexcept
+template<typename To, typename From>
+bptr<To> static_pointer_cast(const bptr<From>& p) noexcept
 {
     // hack to generate better error message
-    if constexpr (detail_borrowed_ptr::StaticCastable<T, U>)
+    if constexpr (detail_borrowed_ptr::StaticCastable<From, To>)
     {
         if (p.blk && p.blk->_ptr) [[likely]]
         {
-            fm_bptr_assert(p.casted_ptr);
-            auto* ret = static_cast<U*>(p.casted_ptr);
-            return bptr<U>{DirectInit, ret, p.blk};
+            fm_assert(p.casted_ptr);
+            auto* ret = static_cast<To*>(p.casted_ptr);
+            return bptr<To>{DirectInit, ret, p.blk};
         }
     }
     else
+    {
+        using detail_borrowed_ptr::StaticCastable;
         // concepts can't be forward-declared so use static_assert
-        static_assert(detail_borrowed_ptr::StaticCastable<T, U>);
+        static_assert(StaticCastable<From, To>,
+            "cannot static_cast, classes must be related by inheritance");
+    }
 
-    return bptr<U>{nullptr};
+    return bptr<To>{nullptr};
 }
 
 } // namespace floormat
diff --git a/compat/borrowed-ptr.inl b/compat/borrowed-ptr.inl
index 06fe8501..fd2d25d2 100644
--- a/compat/borrowed-ptr.inl
+++ b/compat/borrowed-ptr.inl
@@ -1,5 +1,14 @@
 #pragma once
 #include "borrowed-ptr.hpp"
+#include "compat/assert.hpp"
+
+#define FM_BPTR_DEBUG
+
+#if defined FM_BPTR_DEBUG && !defined FM_NO_DEBUG
+#define fm_bptr_assert(...) fm_assert(__VA_ARGS__)
+#else
+#define fm_bptr_assert(...) void()
+#endif
 
 #ifdef __GNUG__
 #pragma GCC diagnostic push
@@ -134,7 +143,7 @@ template<bool MaybeEmpty>
 void bptr<T>::destroy() noexcept
 {
     if constexpr(!MaybeEmpty)
-        fm_assert(blk && blk->_ptr);
+        fm_assert(blk);
     blk->free_ptr();
     blk->_ptr = nullptr;
     casted_ptr = nullptr;
-- 
cgit v1.2.3