From b7a607862ffea1fba1b91f1f881bb472e10e4838 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Wed, 15 Nov 2023 01:16:31 +0800
Subject: [PATCH] Implement LWG-3947 Unexpected constraints on

`adjacent_transform_view::base()`
---
 stl/inc/ranges                                 |  2 +-
 .../P2321R2_views_adjacent_transform/test.cpp  | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/stl/inc/ranges b/stl/inc/ranges
index 2f8b62dd7ff..c15b5e448da 100644
--- a/stl/inc/ranges
+++ b/stl/inc/ranges
@@ -9691,7 +9691,7 @@ namespace ranges {
             : _Func(in_place, _STD move(_Func_)), _Inner(_STD move(_Range_)) {}
 
         _NODISCARD constexpr _Vw base() const& noexcept(noexcept(_Inner.base())) // strengthened
-            requires copy_constructible<_Inner_view>
+            requires copy_constructible<_Vw>
         {
             return _Inner.base();
         }
diff --git a/tests/std/tests/P2321R2_views_adjacent_transform/test.cpp b/tests/std/tests/P2321R2_views_adjacent_transform/test.cpp
index f5aa39fc497..aabba6c5a11 100644
--- a/tests/std/tests/P2321R2_views_adjacent_transform/test.cpp
+++ b/tests/std/tests/P2321R2_views_adjacent_transform/test.cpp
@@ -5,6 +5,7 @@
 #include <array>
 #include <cassert>
 #include <forward_list>
+#include <functional>
 #include <ranges>
 #include <span>
 #include <tuple>
@@ -968,6 +969,23 @@ int main() {
         test_one<3>(span<const int>{}, to_float, span<float>{});
     }
 
+    { // LWG-3947 Unexpected constraints on adjacent_transform_view::base()
+        struct weird_span : span<int>, ranges::view_base {
+            weird_span()                  = default;
+            weird_span(const weird_span&) = default;
+            weird_span(weird_span&)       = delete;
+
+            weird_span& operator=(const weird_span&) = default;
+        };
+        STATIC_ASSERT(!copy_constructible<weird_span>);
+
+        using weird_adjacent_transform_view = ranges::adjacent_transform_view<weird_span, ranges::equal_to, 2>;
+        STATIC_ASSERT(!CanMemberBase<weird_adjacent_transform_view&>);
+        STATIC_ASSERT(!CanMemberBase<const weird_adjacent_transform_view&>);
+        STATIC_ASSERT(!CanMemberBase<const weird_adjacent_transform_view>);
+        STATIC_ASSERT(CanMemberBase<weird_adjacent_transform_view>);
+    }
+
     STATIC_ASSERT((instantiation_test(), true));
     instantiation_test();
 }