[libcxx] applies changes regarding post-commit feedback to #75259 (#76534)

cjdb · web-flow · commit f0ea888e01aa · 2024-04-11T10:34:54.000-07:00
Some of the feedback was also relevant to other files, and has been
applied there too.
diff --git a/libcxx/test/std/algorithms/alg.nonmodifying/alg.fold/left_folds.pass.cpp b/libcxx/test/std/algorithms/alg.nonmodifying/alg.fold/left_folds.pass.cpp
@@ -59,14 +59,14 @@ concept is_in_value_result =
 template <class Result, class T>
 concept is_dangling_with = std::same_as<Result, std::ranges::fold_left_with_iter_result<std::ranges::dangling, T>>;
 
-struct Long {
+struct Integer {
   int value;
 
-  constexpr Long(int const x) : value(x) {}
+  constexpr Integer(int const x) : value(x) {}
 
-  constexpr Long plus(int const x) const { return Long{value + x}; }
+  constexpr Integer plus(int const x) const { return Integer{value + x}; }
 
-  friend constexpr bool operator==(Long const& x, Long const& y) = default;
+  friend constexpr bool operator==(Integer const& x, Integer const& y) = default;
 };
 
 template <std::ranges::input_range R, class T, class F, std::equality_comparable Expected>
@@ -77,6 +77,7 @@ constexpr void check_iterator(R& r, T const& init, F f, Expected const& expected
     assert(result.in == r.end());
     assert(result.value == expected);
   }
+
   {
     auto telemetry                                        = invocable_telemetry();
     auto f2                                               = invocable_with_telemetry(f, telemetry);
@@ -92,6 +93,7 @@ constexpr void check_iterator(R& r, T const& init, F f, Expected const& expected
     std::same_as<Expected> decltype(auto) result = fold_left(r.begin(), r.end(), init, f);
     assert(result == expected);
   }
+
   {
     auto telemetry                               = invocable_telemetry();
     auto f2                                      = invocable_with_telemetry(f, telemetry);
@@ -111,6 +113,7 @@ constexpr void check_lvalue_range(R& r, T const& init, F f, Expected const& expe
     assert(result.in == r.end());
     assert(result.value == expected);
   }
+
   {
     auto telemetry                               = invocable_telemetry();
     auto f2                                      = invocable_with_telemetry(f, telemetry);
@@ -125,6 +128,7 @@ constexpr void check_lvalue_range(R& r, T const& init, F f, Expected const& expe
     std::same_as<Expected> decltype(auto) result = fold_left(r, init, f);
     assert(result == expected);
   }
+
   {
     auto telemetry                               = invocable_telemetry();
     auto f2                                      = invocable_with_telemetry(f, telemetry);
@@ -144,6 +148,7 @@ constexpr void check_rvalue_range(R& r, T const& init, F f, Expected const& expe
     is_dangling_with<Expected> decltype(auto) result = fold_left_with_iter(std::move(r2), init, f);
     assert(result.value == expected);
   }
+
   {
     auto telemetry                                   = invocable_telemetry();
     auto f2                                          = invocable_with_telemetry(f, telemetry);
@@ -160,6 +165,7 @@ constexpr void check_rvalue_range(R& r, T const& init, F f, Expected const& expe
     std::same_as<Expected> decltype(auto) result = fold_left(std::move(r2), init, f);
     assert(result == expected);
   }
+
   {
     auto telemetry                               = invocable_telemetry();
     auto f2                                      = invocable_with_telemetry(f, telemetry);
@@ -186,7 +192,7 @@ constexpr void empty_range_test_case() {
   check(data, -100, std::multiplies(), -100);
 
   check(data | std::views::take_while([](auto) { return false; }), 1.23, std::plus(), 1.23);
-  check(data, Long(52), &Long::plus, Long(52));
+  check(data, Integer(52), &Integer::plus, Integer(52));
 }
 
 constexpr void common_range_test_case() {
@@ -209,7 +215,7 @@ constexpr void common_range_test_case() {
   };
   check(data, 0, fib, fibonacci(data.back()));
 
-  check(data, Long(0), &Long::plus, Long(triangular_sum(data)));
+  check(data, Integer(0), &Integer::plus, Integer(triangular_sum(data)));
 }
 
 constexpr void non_common_range_test_case() {
@@ -269,6 +275,7 @@ void runtime_only_test_case() {
       assert(result.in == data.end());
       assert(result.value == expected);
     }
+
     {
       auto input = std::istringstream(raw_data);
       auto data  = std::views::istream<std::string>(input);
@@ -277,11 +284,13 @@ void runtime_only_test_case() {
       assert(result.in == data.end());
       assert(result.value == expected);
     }
+
     {
       auto input = std::istringstream(raw_data);
       auto data  = std::views::istream<std::string>(input);
       assert(fold_left(data.begin(), data.end(), init, std::plus()) == expected);
     }
+
     {
       auto input = std::istringstream(raw_data);
       auto data  = std::views::istream<std::string>(input);
diff --git a/libcxx/test/std/algorithms/alg.nonmodifying/alg.fold/requirements.compile.pass.cpp b/libcxx/test/std/algorithms/alg.nonmodifying/alg.fold/requirements.compile.pass.cpp
@@ -10,8 +10,21 @@
 
 // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
 
-// Checks that `std::ranges::fold_left_with_iter`'s requirements reject parameters that don't meet
-// the overloads' constraints.
+// template<input_iterator I, sentinel_for<I> S, class T,
+//          indirectly-binary-left-foldable<T, I> F>
+//   constexpr see below ranges::fold_left_with_iter(I first, S last, T init, F f);
+//
+// template<input_range R, class T, indirectly-binary-left-foldable<T, iterator_t<R>> F>
+//   constexpr see below ranges::fold_left_with_iter(R&& r, T init, F f);
+
+// template<input_iterator I, sentinel_for<I> S, class T,
+//          indirectly-binary-left-foldable<T, I> F>
+//   constexpr see below ranges::fold_left(I first, S last, T init, F f);
+//
+// template<input_range R, class T, indirectly-binary-left-foldable<T, iterator_t<R>> F>
+//   constexpr see below ranges::fold_left(R&& r, T init, F f);
+
+// Checks that the algorithm requirements reject parameters that don't meet the overloads' constraints.
 
 #include <algorithm>
 #include <concepts>
diff --git a/libcxx/test/std/algorithms/algorithms.results/in_found_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/in_found_result.pass.cpp
@@ -64,6 +64,7 @@ struct ConvertibleFrom {
 };
 
 constexpr bool test() {
+  // Checks that conversion operations are correct.
   {
     std::ranges::in_found_result<double> res{10, true};
     assert(res.in == 10);
@@ -72,6 +73,8 @@ constexpr bool test() {
     assert(res2.in.content == 10);
     assert(res2.found == true);
   }
+
+  // Checks that conversions are possible when one of the types is move-only.
   {
     std::ranges::in_found_result<MoveOnly> res{MoveOnly{}, false};
     assert(res.in.get() == 1);
@@ -82,10 +85,13 @@ constexpr bool test() {
     assert(res.in.get() == 0);
     assert(!res.found);
   }
-  auto [in, found] = std::ranges::in_found_result<int>{2, false};
-  assert(in == 2);
-  assert(!found);
 
+  // Checks that structured bindings get the correct values.
+  {
+    auto [in, found] = std::ranges::in_found_result<int>{2, false};
+    assert(in == 2);
+    assert(!found);
+  }
   return true;
 }
 
diff --git a/libcxx/test/std/algorithms/algorithms.results/in_fun_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/in_fun_result.pass.cpp
@@ -48,7 +48,7 @@ static_assert(std::is_convertible_v<const std::ranges::in_fun_result<int, int>&&
 static_assert(std::is_move_constructible_v<std::ranges::in_fun_result<MoveOnly, int>>);
 static_assert(std::is_move_constructible_v<std::ranges::in_fun_result<int, MoveOnly>>);
 
-// should not copy constructible with move-only type
+// should not be copy constructible with move-only type
 static_assert(!std::is_copy_constructible_v<std::ranges::in_fun_result<MoveOnly, int>>);
 static_assert(!std::is_copy_constructible_v<std::ranges::in_fun_result<int, MoveOnly>>);
 
@@ -64,6 +64,7 @@ struct ConvertibleFrom {
 };
 
 constexpr bool test() {
+  // Checks that conversion operations are correct.
   {
     std::ranges::in_fun_result<int, double> res{10, 0.};
     assert(res.in == 10);
@@ -72,6 +73,8 @@ constexpr bool test() {
     assert(res2.in.content == 10);
     assert(res2.fun.content == 0.);
   }
+
+  // Checks that conversions are possible when one of the types is move-only.
   {
     std::ranges::in_fun_result<MoveOnly, int> res{MoveOnly{}, 2};
     assert(res.in.get() == 1);
@@ -81,6 +84,8 @@ constexpr bool test() {
     assert(res2.in.get() == 1);
     assert(res2.fun == 2);
   }
+
+  // Checks that structured bindings get the correct values.
   {
     auto [in, fun] = std::ranges::in_fun_result<int, int>{1, 2};
     assert(in == 1);
diff --git a/libcxx/test/std/algorithms/algorithms.results/in_in_out_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/in_in_out_result.pass.cpp
@@ -67,6 +67,7 @@ struct ConvertibleFrom {
 };
 
 constexpr bool test() {
+  // Checks that conversion operations are correct.
   {
     std::ranges::in_in_out_result<int, double, float> res{10, 0., 1.f};
     assert(res.in1 == 10);
@@ -77,13 +78,17 @@ constexpr bool test() {
     assert(res2.in2.content == 0.);
     assert(res2.out.content == 1.f);
   }
+
+  // Checks that conversions are possible when one of the types is move-only.
   {
     std::ranges::in_in_out_result<MoveOnly, int, int> res1{MoveOnly{}, 0, 0};
     assert(res1.in1.get() == 1);
     auto res2 = static_cast<std::ranges::in_in_out_result<MoveOnly, int, int>>(std::move(res1));
     assert(res1.in1.get() == 0);
     assert(res2.in1.get() == 1);
   }
+
+  // Checks that structured bindings get the correct values.
   {
     auto [in1, in2, out] = std::ranges::in_in_out_result<int, int, int>{1, 2, 3};
     assert(in1 == 1);
diff --git a/libcxx/test/std/algorithms/algorithms.results/in_in_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/in_in_result.pass.cpp
@@ -59,6 +59,7 @@ struct ConstructibleFrom {
 };
 
 constexpr bool test() {
+  // Checks that conversion operations are correct.
   {
     std::ranges::in_in_result<int, double> res{10L, 0.};
     assert(res.in1 == 10);
@@ -67,12 +68,16 @@ constexpr bool test() {
     assert(res2.in1.content == 10);
     assert(res2.in2.content == 0.);
   }
+
+  // Checks that conversions are possible when one of the types is move-only.
   {
     std::ranges::in_in_result<MoveOnly, int> res{MoveOnly{}, 0};
     assert(res.in1.get() == 1);
     [[maybe_unused]] auto res2 = static_cast<std::ranges::in_in_result<MoveOnly, int>>(std::move(res));
     assert(res.in1.get() == 0);
   }
+
+  // Checks that structured bindings get the correct values.
   {
     auto [in1, in2] = std::ranges::in_in_result<int, int>{1, 2};
     assert(in1 == 1);
diff --git a/libcxx/test/std/algorithms/algorithms.results/in_out_out_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/in_out_out_result.pass.cpp
@@ -65,6 +65,7 @@ struct ConvertibleFrom {
 };
 
 constexpr bool test() {
+  // Checks that conversion operations are correct.
   {
     std::ranges::in_out_out_result<int, double, float> res{10, 0., 1.f};
     assert(res.in == 10);
@@ -75,13 +76,17 @@ constexpr bool test() {
     assert(res2.out1.content == 0.);
     assert(res2.out2.content == 1.f);
   }
+
+  // Checks that conversions are possible when one of the types is move-only.
   {
     std::ranges::in_out_out_result<MoveOnly, int, int> res1{MoveOnly{}, 0, 0};
     assert(res1.in.get() == 1);
     auto res2 = static_cast<std::ranges::in_out_out_result<MoveOnly, int, int>>(std::move(res1));
     assert(res1.in.get() == 0);
     assert(res2.in.get() == 1);
   }
+
+  // Checks that structured bindings get the correct values.
   {
     auto [in, out1, out2] = std::ranges::in_out_out_result<int, int, int>{1, 2, 3};
     assert(in == 1);
diff --git a/libcxx/test/std/algorithms/algorithms.results/in_out_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/in_out_result.pass.cpp
@@ -59,6 +59,7 @@ struct ConvertibleFrom {
 };
 
 constexpr bool test() {
+  // Checks that conversion operations are correct.
   {
     std::ranges::in_out_result<double, int> res{10, 1};
     assert(res.in == 10);
@@ -67,6 +68,8 @@ constexpr bool test() {
     assert(res2.in.content == 10);
     assert(res2.out.content == 1);
   }
+
+  // Checks that conversions are possible when one of the types is move-only.
   {
     std::ranges::in_out_result<MoveOnly, int> res{MoveOnly{}, 10};
     assert(res.in.get() == 1);
@@ -77,6 +80,8 @@ constexpr bool test() {
     assert(res2.in.get() == 1);
     assert(res2.out == 10);
   }
+
+  // Checks that structured bindings get the correct values.
   {
     auto [min, max] = std::ranges::in_out_result<int, int>{1, 2};
     assert(min == 1);
diff --git a/libcxx/test/std/algorithms/algorithms.results/in_value_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/in_value_result.pass.cpp
@@ -53,7 +53,7 @@ static_assert(
 static_assert(std::is_move_constructible_v<std::ranges::in_value_result<MoveOnly, int>>);
 static_assert(std::is_move_constructible_v<std::ranges::in_value_result<int, MoveOnly>>);
 
-// should not copy constructible with move-only type
+// should not be copy constructible with move-only type
 static_assert(!std::is_copy_constructible_v<std::ranges::in_value_result<MoveOnly, int>>);
 static_assert(!std::is_copy_constructible_v<std::ranges::in_value_result<int, MoveOnly>>);
 
@@ -71,6 +71,7 @@ struct ConvertibleFrom {
 };
 
 constexpr bool test() {
+  // Checks that conversion operations are correct.
   {
     std::ranges::in_value_result<int, double> res{10, 0.};
     assert(res.in == 10);
@@ -79,6 +80,8 @@ constexpr bool test() {
     assert(res2.in.content == 10);
     assert(res2.value.content == 0.);
   }
+
+  // Checks that conversions are possible when one of the types is move-only.
   {
     std::ranges::in_value_result<MoveOnly, int> res{MoveOnly{}, 2};
     assert(res.in.get() == 1);
@@ -88,6 +91,8 @@ constexpr bool test() {
     assert(res2.in.get() == 1);
     assert(res2.value == 2);
   }
+
+  // Checks that structured bindings get the correct values.
   {
     auto [in, value] = std::ranges::in_value_result<int, int>{1, 2};
     assert(in == 1);
diff --git a/libcxx/test/std/algorithms/algorithms.results/min_max_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/min_max_result.pass.cpp
@@ -60,6 +60,7 @@ struct ConvertibleFrom {
 };
 
 constexpr bool test() {
+  // Checks that conversion operations are correct.
   {
     std::ranges::min_max_result<double> res{10, 1};
     assert(res.min == 10);
@@ -68,6 +69,8 @@ constexpr bool test() {
     assert(res2.min.content == 10);
     assert(res2.max.content == 1);
   }
+
+  // Checks that conversions are possible when one of the types is move-only.
   {
     std::ranges::min_max_result<MoveOnly> res{MoveOnly{}, MoveOnly{}};
     assert(res.min.get() == 1);
@@ -78,6 +81,8 @@ constexpr bool test() {
     assert(res2.min.get() == 1);
     assert(res2.max.get() == 1);
   }
+
+  // Checks that structured bindings get the correct values.
   {
     auto [min, max] = std::ranges::min_max_result<int>{1, 2};
     assert(min == 1);

Original file line number	Diff line number	Diff line change
`@@ -59,14 +59,14 @@ concept is_in_value_result =`
`59`	`59`	`template <class Result, class T>`
`60`	`60`	`concept is_dangling_with = std::same_as<Result, std::ranges::fold_left_with_iter_result<std::ranges::dangling, T>>;`
`61`	`61`
`62`		`-struct Long {`
	`62`	`+struct Integer {`
`63`	`63`	`int value;`
`64`	`64`
`65`		`- constexpr Long(int const x) : value(x) {}`
	`65`	`+ constexpr Integer(int const x) : value(x) {}`
`66`	`66`
`67`		`- constexpr Long plus(int const x) const { return Long{value + x}; }`
	`67`	`+ constexpr Integer plus(int const x) const { return Integer{value + x}; }`
`68`	`68`
`69`		`- friend constexpr bool operator==(Long const& x, Long const& y) = default;`
	`69`	`+ friend constexpr bool operator==(Integer const& x, Integer const& y) = default;`
`70`	`70`	`};`
`71`	`71`
`72`	`72`	`template <std::ranges::input_range R, class T, class F, std::equality_comparable Expected>`
`@@ -77,6 +77,7 @@ constexpr void check_iterator(R& r, T const& init, F f, Expected const& expected`
`77`	`77`	`assert(result.in == r.end());`
`78`	`78`	`assert(result.value == expected);`
`79`	`79`	`}`
	`80`	`+`
`80`	`81`	`{`
`81`	`82`	`auto telemetry = invocable_telemetry();`
`82`	`83`	`auto f2 = invocable_with_telemetry(f, telemetry);`
`@@ -92,6 +93,7 @@ constexpr void check_iterator(R& r, T const& init, F f, Expected const& expected`
`92`	`93`	`std::same_as<Expected> decltype(auto) result = fold_left(r.begin(), r.end(), init, f);`
`93`	`94`	`assert(result == expected);`
`94`	`95`	`}`
	`96`	`+`
`95`	`97`	`{`
`96`	`98`	`auto telemetry = invocable_telemetry();`
`97`	`99`	`auto f2 = invocable_with_telemetry(f, telemetry);`
`@@ -111,6 +113,7 @@ constexpr void check_lvalue_range(R& r, T const& init, F f, Expected const& expe`
`111`	`113`	`assert(result.in == r.end());`
`112`	`114`	`assert(result.value == expected);`
`113`	`115`	`}`
	`116`	`+`
`114`	`117`	`{`
`115`	`118`	`auto telemetry = invocable_telemetry();`
`116`	`119`	`auto f2 = invocable_with_telemetry(f, telemetry);`
`@@ -125,6 +128,7 @@ constexpr void check_lvalue_range(R& r, T const& init, F f, Expected const& expe`
`125`	`128`	`std::same_as<Expected> decltype(auto) result = fold_left(r, init, f);`
`126`	`129`	`assert(result == expected);`
`127`	`130`	`}`
	`131`	`+`
`128`	`132`	`{`
`129`	`133`	`auto telemetry = invocable_telemetry();`
`130`	`134`	`auto f2 = invocable_with_telemetry(f, telemetry);`
`@@ -144,6 +148,7 @@ constexpr void check_rvalue_range(R& r, T const& init, F f, Expected const& expe`
`144`	`148`	`is_dangling_with<Expected> decltype(auto) result = fold_left_with_iter(std::move(r2), init, f);`
`145`	`149`	`assert(result.value == expected);`
`146`	`150`	`}`
	`151`	`+`
`147`	`152`	`{`
`148`	`153`	`auto telemetry = invocable_telemetry();`
`149`	`154`	`auto f2 = invocable_with_telemetry(f, telemetry);`
`@@ -160,6 +165,7 @@ constexpr void check_rvalue_range(R& r, T const& init, F f, Expected const& expe`
`160`	`165`	`std::same_as<Expected> decltype(auto) result = fold_left(std::move(r2), init, f);`
`161`	`166`	`assert(result == expected);`
`162`	`167`	`}`
	`168`	`+`
`163`	`169`	`{`
`164`	`170`	`auto telemetry = invocable_telemetry();`
`165`	`171`	`auto f2 = invocable_with_telemetry(f, telemetry);`
`@@ -186,7 +192,7 @@ constexpr void empty_range_test_case() {`
`186`	`192`	`check(data, -100, std::multiplies(), -100);`
`187`	`193`
`188`	`194`	`check(data \| std::views::take_while([](auto) { return false; }), 1.23, std::plus(), 1.23);`
`189`		`- check(data, Long(52), &Long::plus, Long(52));`
	`195`	`+ check(data, Integer(52), &Integer::plus, Integer(52));`
`190`	`196`	`}`
`191`	`197`
`192`	`198`	`constexpr void common_range_test_case() {`
`@@ -209,7 +215,7 @@ constexpr void common_range_test_case() {`
`209`	`215`	`};`
`210`	`216`	`check(data, 0, fib, fibonacci(data.back()));`
`211`	`217`
`212`		`- check(data, Long(0), &Long::plus, Long(triangular_sum(data)));`
	`218`	`+ check(data, Integer(0), &Integer::plus, Integer(triangular_sum(data)));`
`213`	`219`	`}`
`214`	`220`
`215`	`221`	`constexpr void non_common_range_test_case() {`
`@@ -269,6 +275,7 @@ void runtime_only_test_case() {`
`269`	`275`	`assert(result.in == data.end());`
`270`	`276`	`assert(result.value == expected);`
`271`	`277`	`}`
	`278`	`+`
`272`	`279`	`{`
`273`	`280`	`auto input = std::istringstream(raw_data);`
`274`	`281`	`auto data = std::views::istream<std::string>(input);`
`@@ -277,11 +284,13 @@ void runtime_only_test_case() {`
`277`	`284`	`assert(result.in == data.end());`
`278`	`285`	`assert(result.value == expected);`
`279`	`286`	`}`
	`287`	`+`
`280`	`288`	`{`
`281`	`289`	`auto input = std::istringstream(raw_data);`
`282`	`290`	`auto data = std::views::istream<std::string>(input);`
`283`	`291`	`assert(fold_left(data.begin(), data.end(), init, std::plus()) == expected);`
`284`	`292`	`}`
	`293`	`+`
`285`	`294`	`{`
`286`	`295`	`auto input = std::istringstream(raw_data);`
`287`	`296`	`auto data = std::views::istream<std::string>(input);`
Original file line number	Diff line number	Diff line change
`@@ -64,6 +64,7 @@ struct ConvertibleFrom {`
`64`	`64`	`};`
`65`	`65`
`66`	`66`	`constexpr bool test() {`
	`67`	`+ // Checks that conversion operations are correct.`
`67`	`68`	`{`
`68`	`69`	`std::ranges::in_found_result<double> res{10, true};`
`69`	`70`	`assert(res.in == 10);`
`@@ -72,6 +73,8 @@ constexpr bool test() {`
`72`	`73`	`assert(res2.in.content == 10);`
`73`	`74`	`assert(res2.found == true);`
`74`	`75`	`}`
	`76`	`+`
	`77`	`+ // Checks that conversions are possible when one of the types is move-only.`
`75`	`78`	`{`
`76`	`79`	`std::ranges::in_found_result<MoveOnly> res{MoveOnly{}, false};`
`77`	`80`	`assert(res.in.get() == 1);`
`@@ -82,10 +85,13 @@ constexpr bool test() {`
`82`	`85`	`assert(res.in.get() == 0);`
`83`	`86`	`assert(!res.found);`
`84`	`87`	`}`
`85`		`- auto [in, found] = std::ranges::in_found_result<int>{2, false};`
`86`		`- assert(in == 2);`
`87`		`- assert(!found);`
`88`	`88`
	`89`	`+ // Checks that structured bindings get the correct values.`
	`90`	`+ {`
	`91`	`+ auto [in, found] = std::ranges::in_found_result<int>{2, false};`
	`92`	`+ assert(in == 2);`
	`93`	`+ assert(!found);`
	`94`	`+ }`
`89`	`95`	`return true;`
`90`	`96`	`}`
`91`	`97`
Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ static_assert(std::is_convertible_v<const std::ranges::in_fun_result<int, int>&&`
`48`	`48`	`static_assert(std::is_move_constructible_v<std::ranges::in_fun_result<MoveOnly, int>>);`
`49`	`49`	`static_assert(std::is_move_constructible_v<std::ranges::in_fun_result<int, MoveOnly>>);`
`50`	`50`
`51`		`-// should not copy constructible with move-only type`
	`51`	`+// should not be copy constructible with move-only type`
`52`	`52`	`static_assert(!std::is_copy_constructible_v<std::ranges::in_fun_result<MoveOnly, int>>);`
`53`	`53`	`static_assert(!std::is_copy_constructible_v<std::ranges::in_fun_result<int, MoveOnly>>);`
`54`	`54`
`@@ -64,6 +64,7 @@ struct ConvertibleFrom {`
`64`	`64`	`};`
`65`	`65`
`66`	`66`	`constexpr bool test() {`
	`67`	`+ // Checks that conversion operations are correct.`
`67`	`68`	`{`
`68`	`69`	`std::ranges::in_fun_result<int, double> res{10, 0.};`
`69`	`70`	`assert(res.in == 10);`
`@@ -72,6 +73,8 @@ constexpr bool test() {`
`72`	`73`	`assert(res2.in.content == 10);`
`73`	`74`	`assert(res2.fun.content == 0.);`
`74`	`75`	`}`
	`76`	`+`
	`77`	`+ // Checks that conversions are possible when one of the types is move-only.`
`75`	`78`	`{`
`76`	`79`	`std::ranges::in_fun_result<MoveOnly, int> res{MoveOnly{}, 2};`
`77`	`80`	`assert(res.in.get() == 1);`
`@@ -81,6 +84,8 @@ constexpr bool test() {`
`81`	`84`	`assert(res2.in.get() == 1);`
`82`	`85`	`assert(res2.fun == 2);`
`83`	`86`	`}`
	`87`	`+`
	`88`	`+ // Checks that structured bindings get the correct values.`
`84`	`89`	`{`
`85`	`90`	`auto [in, fun] = std::ranges::in_fun_result<int, int>{1, 2};`
`86`	`91`	`assert(in == 1);`
Original file line number	Diff line number	Diff line change
`@@ -67,6 +67,7 @@ struct ConvertibleFrom {`
`67`	`67`	`};`
`68`	`68`
`69`	`69`	`constexpr bool test() {`
	`70`	`+ // Checks that conversion operations are correct.`
`70`	`71`	`{`
`71`	`72`	`std::ranges::in_in_out_result<int, double, float> res{10, 0., 1.f};`
`72`	`73`	`assert(res.in1 == 10);`
`@@ -77,13 +78,17 @@ constexpr bool test() {`
`77`	`78`	`assert(res2.in2.content == 0.);`
`78`	`79`	`assert(res2.out.content == 1.f);`
`79`	`80`	`}`
	`81`	`+`
	`82`	`+ // Checks that conversions are possible when one of the types is move-only.`
`80`	`83`	`{`
`81`	`84`	`std::ranges::in_in_out_result<MoveOnly, int, int> res1{MoveOnly{}, 0, 0};`
`82`	`85`	`assert(res1.in1.get() == 1);`
`83`	`86`	`auto res2 = static_cast<std::ranges::in_in_out_result<MoveOnly, int, int>>(std::move(res1));`
`84`	`87`	`assert(res1.in1.get() == 0);`
`85`	`88`	`assert(res2.in1.get() == 1);`
`86`	`89`	`}`
	`90`	`+`
	`91`	`+ // Checks that structured bindings get the correct values.`
`87`	`92`	`{`
`88`	`93`	`auto [in1, in2, out] = std::ranges::in_in_out_result<int, int, int>{1, 2, 3};`
`89`	`94`	`assert(in1 == 1);`
Original file line number	Diff line number	Diff line change
`@@ -59,6 +59,7 @@ struct ConstructibleFrom {`
`59`	`59`	`};`
`60`	`60`
`61`	`61`	`constexpr bool test() {`
	`62`	`+ // Checks that conversion operations are correct.`
`62`	`63`	`{`
`63`	`64`	`std::ranges::in_in_result<int, double> res{10L, 0.};`
`64`	`65`	`assert(res.in1 == 10);`
`@@ -67,12 +68,16 @@ constexpr bool test() {`
`67`	`68`	`assert(res2.in1.content == 10);`
`68`	`69`	`assert(res2.in2.content == 0.);`
`69`	`70`	`}`
	`71`	`+`
	`72`	`+ // Checks that conversions are possible when one of the types is move-only.`
`70`	`73`	`{`
`71`	`74`	`std::ranges::in_in_result<MoveOnly, int> res{MoveOnly{}, 0};`
`72`	`75`	`assert(res.in1.get() == 1);`
`73`	`76`	`[[maybe_unused]] auto res2 = static_cast<std::ranges::in_in_result<MoveOnly, int>>(std::move(res));`
`74`	`77`	`assert(res.in1.get() == 0);`
`75`	`78`	`}`
	`79`	`+`
	`80`	`+ // Checks that structured bindings get the correct values.`
`76`	`81`	`{`
`77`	`82`	`auto [in1, in2] = std::ranges::in_in_result<int, int>{1, 2};`
`78`	`83`	`assert(in1 == 1);`
Original file line number	Diff line number	Diff line change
`@@ -65,6 +65,7 @@ struct ConvertibleFrom {`
`65`	`65`	`};`
`66`	`66`
`67`	`67`	`constexpr bool test() {`
	`68`	`+ // Checks that conversion operations are correct.`
`68`	`69`	`{`
`69`	`70`	`std::ranges::in_out_out_result<int, double, float> res{10, 0., 1.f};`
`70`	`71`	`assert(res.in == 10);`
`@@ -75,13 +76,17 @@ constexpr bool test() {`
`75`	`76`	`assert(res2.out1.content == 0.);`
`76`	`77`	`assert(res2.out2.content == 1.f);`
`77`	`78`	`}`
	`79`	`+`
	`80`	`+ // Checks that conversions are possible when one of the types is move-only.`
`78`	`81`	`{`
`79`	`82`	`std::ranges::in_out_out_result<MoveOnly, int, int> res1{MoveOnly{}, 0, 0};`
`80`	`83`	`assert(res1.in.get() == 1);`
`81`	`84`	`auto res2 = static_cast<std::ranges::in_out_out_result<MoveOnly, int, int>>(std::move(res1));`
`82`	`85`	`assert(res1.in.get() == 0);`
`83`	`86`	`assert(res2.in.get() == 1);`
`84`	`87`	`}`
	`88`	`+`
	`89`	`+ // Checks that structured bindings get the correct values.`
`85`	`90`	`{`
`86`	`91`	`auto [in, out1, out2] = std::ranges::in_out_out_result<int, int, int>{1, 2, 3};`
`87`	`92`	`assert(in == 1);`
Original file line number	Diff line number	Diff line change
`@@ -59,6 +59,7 @@ struct ConvertibleFrom {`
`59`	`59`	`};`
`60`	`60`
`61`	`61`	`constexpr bool test() {`
	`62`	`+ // Checks that conversion operations are correct.`
`62`	`63`	`{`
`63`	`64`	`std::ranges::in_out_result<double, int> res{10, 1};`
`64`	`65`	`assert(res.in == 10);`
`@@ -67,6 +68,8 @@ constexpr bool test() {`
`67`	`68`	`assert(res2.in.content == 10);`
`68`	`69`	`assert(res2.out.content == 1);`
`69`	`70`	`}`
	`71`	`+`
	`72`	`+ // Checks that conversions are possible when one of the types is move-only.`
`70`	`73`	`{`
`71`	`74`	`std::ranges::in_out_result<MoveOnly, int> res{MoveOnly{}, 10};`
`72`	`75`	`assert(res.in.get() == 1);`
`@@ -77,6 +80,8 @@ constexpr bool test() {`
`77`	`80`	`assert(res2.in.get() == 1);`
`78`	`81`	`assert(res2.out == 10);`
`79`	`82`	`}`
	`83`	`+`
	`84`	`+ // Checks that structured bindings get the correct values.`
`80`	`85`	`{`
`81`	`86`	`auto [min, max] = std::ranges::in_out_result<int, int>{1, 2};`
`82`	`87`	`assert(min == 1);`
Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ static_assert(`
`53`	`53`	`static_assert(std::is_move_constructible_v<std::ranges::in_value_result<MoveOnly, int>>);`
`54`	`54`	`static_assert(std::is_move_constructible_v<std::ranges::in_value_result<int, MoveOnly>>);`
`55`	`55`
`56`		`-// should not copy constructible with move-only type`
	`56`	`+// should not be copy constructible with move-only type`
`57`	`57`	`static_assert(!std::is_copy_constructible_v<std::ranges::in_value_result<MoveOnly, int>>);`
`58`	`58`	`static_assert(!std::is_copy_constructible_v<std::ranges::in_value_result<int, MoveOnly>>);`
`59`	`59`
`@@ -71,6 +71,7 @@ struct ConvertibleFrom {`
`71`	`71`	`};`
`72`	`72`
`73`	`73`	`constexpr bool test() {`
	`74`	`+ // Checks that conversion operations are correct.`
`74`	`75`	`{`
`75`	`76`	`std::ranges::in_value_result<int, double> res{10, 0.};`
`76`	`77`	`assert(res.in == 10);`
`@@ -79,6 +80,8 @@ constexpr bool test() {`
`79`	`80`	`assert(res2.in.content == 10);`
`80`	`81`	`assert(res2.value.content == 0.);`
`81`	`82`	`}`
	`83`	`+`
	`84`	`+ // Checks that conversions are possible when one of the types is move-only.`
`82`	`85`	`{`
`83`	`86`	`std::ranges::in_value_result<MoveOnly, int> res{MoveOnly{}, 2};`
`84`	`87`	`assert(res.in.get() == 1);`
`@@ -88,6 +91,8 @@ constexpr bool test() {`
`88`	`91`	`assert(res2.in.get() == 1);`
`89`	`92`	`assert(res2.value == 2);`
`90`	`93`	`}`
	`94`	`+`
	`95`	`+ // Checks that structured bindings get the correct values.`
`91`	`96`	`{`
`92`	`97`	`auto [in, value] = std::ranges::in_value_result<int, int>{1, 2};`
`93`	`98`	`assert(in == 1);`
Original file line number	Diff line number	Diff line change
`@@ -60,6 +60,7 @@ struct ConvertibleFrom {`
`60`	`60`	`};`
`61`	`61`
`62`	`62`	`constexpr bool test() {`
	`63`	`+ // Checks that conversion operations are correct.`
`63`	`64`	`{`
`64`	`65`	`std::ranges::min_max_result<double> res{10, 1};`
`65`	`66`	`assert(res.min == 10);`
`@@ -68,6 +69,8 @@ constexpr bool test() {`
`68`	`69`	`assert(res2.min.content == 10);`
`69`	`70`	`assert(res2.max.content == 1);`
`70`	`71`	`}`
	`72`	`+`
	`73`	`+ // Checks that conversions are possible when one of the types is move-only.`
`71`	`74`	`{`
`72`	`75`	`std::ranges::min_max_result<MoveOnly> res{MoveOnly{}, MoveOnly{}};`
`73`	`76`	`assert(res.min.get() == 1);`
`@@ -78,6 +81,8 @@ constexpr bool test() {`
`78`	`81`	`assert(res2.min.get() == 1);`
`79`	`82`	`assert(res2.max.get() == 1);`
`80`	`83`	`}`
	`84`	`+`
	`85`	`+ // Checks that structured bindings get the correct values.`
`81`	`86`	`{`
`82`	`87`	`auto [min, max] = std::ranges::min_max_result<int>{1, 2};`
`83`	`88`	`assert(min == 1);`