From eec05ac4d9077bdec17516e4984cceaff74694b8 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Thu, 27 Jun 2024 01:19:47 +0800
Subject: [PATCH] Properly test the changes in LWG-4053

Its resolution affects CTAD only due to LWG-4054.
---
 tests/std/tests/P2474R2_views_repeat/test.cpp | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/tests/std/tests/P2474R2_views_repeat/test.cpp b/tests/std/tests/P2474R2_views_repeat/test.cpp
index 5723478a1c4..00d6d9b3a08 100644
--- a/tests/std/tests/P2474R2_views_repeat/test.cpp
+++ b/tests/std/tests/P2474R2_views_repeat/test.cpp
@@ -360,16 +360,6 @@ constexpr bool test() {
     test_iterator_arithmetic<wchar_t>();
     test_iterator_arithmetic<_Signed128>();
 
-    // GH-4507: LWG-4053 Unary call to std::views::repeat does not decay the argument
-    {
-        using RPV = ranges::repeat_view<const char*>;
-
-        static_assert(same_as<decltype(views::repeat("foo", unreachable_sentinel)), RPV>);
-        static_assert(same_as<decltype(views::repeat(+"foo", unreachable_sentinel)), RPV>);
-        static_assert(same_as<decltype(views::repeat("foo")), RPV>);
-        static_assert(same_as<decltype(views::repeat(+"foo")), RPV>);
-    }
-
     return true;
 }
 
@@ -380,6 +370,11 @@ static_assert(CanViewRepeat<string, _Signed128>);
 static_assert(
     !CanViewRepeat<string, _Unsigned128>); // _Unsigned128 does not satisfy 'integer-like-with-usable-difference-type'
 
+// Check LWG-4053 "Unary call to std::views::repeat does not decay the argument" (affects CTAD only due to LWG-4054)
+static_assert(is_same_v<decltype(ranges::repeat_view(ranges::repeat_view(42))), ranges::repeat_view<int>>);
+static_assert(is_same_v<decltype(ranges::repeat_view("Hello world!")), ranges::repeat_view<const char*>>);
+static_assert(is_same_v<decltype(ranges::repeat_view(test)), ranges::repeat_view<bool (*)()>>);
+
 // Check LWG-4054 "Repeating a repeat_view should repeat the view"
 static_assert(is_same_v<decltype(views::repeat(views::repeat(42))), ranges::repeat_view<ranges::repeat_view<int>>>);
 static_assert(is_same_v<decltype(views::repeat("Hello world!")), ranges::repeat_view<const char*>>);