diff --git a/proxy.h b/proxy.h index e34fb45..a38ce9f 100644 --- a/proxy.h +++ b/proxy.h @@ -92,8 +92,8 @@ consteval bool has_destructibility(constraint_level level) { // As per std::to_address() wording in [pointer.conversion] template concept is_address_deducible = std::is_pointer_v

|| - requires(P p) { std::pointer_traits

::to_address(p); } || - requires(P p) { p.operator->(); }; + requires(const P p) { std::pointer_traits

::to_address(p); } || + requires(const P p) { p.operator->(); }; // Bypass function pointer restriction of std::to_address() template @@ -303,7 +303,7 @@ template concept facade = basic_facade && details::facade_traits::applicable; template -concept proxiable = facade && details::is_address_deducible && +concept proxiable = facade && details::is_address_deducible

&& details::facade_traits::template applicable_ptr

; template