Add files

Author: mingxwa

docs/spec/make_proxy_ref.md

@@ -12,7 +12,7 @@ template <facade F, class T>
 proxy<F> make_proxy_ref(T& value) noexcept;
 ```
 
-Creates a `proxy<F>` object containing a value `p` of type `observer-ptr<T>`, where `*p` is direct-non-list-initialized with `&value`. If [`proxiable_target<T, F>`](proxiable_target.md) is `false`, the program is ill-formed and diagnostic messages are generated.
+Creates a `proxy<F>` object containing a value `p` of type `observer-ptr<T>`, where `*p` is direct-non-list-initialized with `std::addressof(value)`. If [`proxiable_target<T, F>`](proxiable_target.md) is `false`, the program is ill-formed and diagnostic messages are generated.
 
 ## Return Value
 

docs/spec/proxiable_target.md

@@ -7,7 +7,7 @@
 
 ```cpp
 template <class T, class F>
-concept proxiable_target = proxiable<observer-ptr<T>, F>;
+concept proxiable_target = proxiable<observer-ptr<T>, observer_facade<F>>;
 ```
 
 See [`make_proxy_ref`](make_proxy_ref.md) for the definition of the exposition-only class template *observer-ptr*.

docs/spec/proxy_view.md

@@ -13,7 +13,7 @@ template <facade F>
 using proxy_view = proxy<observer_facade<F>>;
 ```
 
-`proxy_view<F>` is a non-owning, trivially copyable, trivially relocatable view of an object that models [`proxiable_target<T, observer_facade<F>>`](proxiable_target.md). It behaves like a `proxy<F>` except that it never owns the lifetime of the underlying object.
+`proxy_view<F>` is a non-owning, trivially copyable, trivially relocatable view of an object that models [`proxiable_target<T, F>`](proxiable_target.md). It behaves like a `proxy<F>` except that it never owns the lifetime of the underlying object.
 
 `observer_facade<F>` adapts an existing [facade](facade.md) `F` for this non-owning use. The adaptation preserves only those parts of `F` that remain semantically valid when the storage is reduced to a single pointer and modifies substitution conversions so that view-ness is preserved (substitution that would have produced an owning `proxy<G>` instead produces a `proxy_view<G>`).
 

include/proxy/v4/proxy.h

@@ -1784,7 +1784,8 @@ concept inplace_proxiable_target = proxiable<details::inplace_ptr<T>, F>;
 
 template <class T, class F>
 concept proxiable_target =
-    proxiable<details::observer_ptr<T&, const T&, T&&, const T&&>, F>;
+    proxiable<details::observer_ptr<T&, const T&, T&&, const T&&>,
+              observer_facade<F>>;
 
 template <class T>
   requires(is_bitwise_trivially_relocatable_v<T>)

tests/proxy_creation_tests.cpp

@@ -174,6 +174,7 @@ struct TestWeakSharedStringable : pro::facade_builder                      //
 
 static_assert(pro::proxiable<int*, TestSharedStringable>);
 static_assert(!pro::proxiable<int*, TestWeakSharedStringable>);
+static_assert(pro::proxiable_target<int, TestWeakSharedStringable>);
 
 } // namespace proxy_creation_tests_details