From a14410f14ecad244f934274fce85712d83db53e1 Mon Sep 17 00:00:00 2001 From: Mingxin Wang Date: Sun, 12 Apr 2026 16:19:31 +0800 Subject: [PATCH 1/2] Revert incorrect changes --- docs/spec/make_proxy_view.md | 2 +- docs/spec/proxiable_target.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/spec/make_proxy_view.md b/docs/spec/make_proxy_view.md index d70b61a..2c1739c 100644 --- a/docs/spec/make_proxy_view.md +++ b/docs/spec/make_proxy_view.md @@ -12,7 +12,7 @@ template proxy_view make_proxy_view(T& value) noexcept; ``` -Creates a `proxy_view` object containing a value `p` of type `observer-ptr`, where `*p` is direct-non-list-initialized with `&value`. If [`proxiable_target`](proxiable_target.md) is `false`, the program is ill-formed and diagnostic messages are generated. +Creates a `proxy_view` object containing a value `p` of type `observer-ptr`, where `*p` is direct-non-list-initialized with `std::addressof(value)`. If [`proxiable_target`](proxiable_target.md) is `false`, the program is ill-formed and diagnostic messages are generated. ## Return Value diff --git a/docs/spec/proxiable_target.md b/docs/spec/proxiable_target.md index 403bc55..fe46d69 100644 --- a/docs/spec/proxiable_target.md +++ b/docs/spec/proxiable_target.md @@ -7,7 +7,7 @@ ```cpp template -concept proxiable_target = proxiable, F>; +concept proxiable_target = proxiable, observer_facade>; ``` See [`make_proxy_view`](make_proxy_view.md) for the definition of the exposition-only class template *observer-ptr*. From 14873c6077441c4064f41f8e838bb52f5d647245 Mon Sep 17 00:00:00 2001 From: Mingxin Wang Date: Sun, 12 Apr 2026 16:24:16 +0800 Subject: [PATCH 2/2] Update docs/spec/make_proxy_view.md Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> --- docs/spec/make_proxy_view.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/spec/make_proxy_view.md b/docs/spec/make_proxy_view.md index 2c1739c..4826350 100644 --- a/docs/spec/make_proxy_view.md +++ b/docs/spec/make_proxy_view.md @@ -12,7 +12,7 @@ template proxy_view make_proxy_view(T& value) noexcept; ``` -Creates a `proxy_view` object containing a value `p` of type `observer-ptr`, where `*p` is direct-non-list-initialized with `std::addressof(value)`. If [`proxiable_target`](proxiable_target.md) is `false`, the program is ill-formed and diagnostic messages are generated. +Creates a `proxy_view` object containing a value `p` of type `observer-ptr`, where `p` is direct-non-list-initialized with `std::addressof(value)`. If [`proxiable_target`](proxiable_target.md) is `false`, the program is ill-formed and diagnostic messages are generated. ## Return Value