update tests

changkhothuychung · changkhothuychung · commit 66d26a6a0f1e · 2025-09-10T14:14:35.000-04:00
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/ctad.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/ctad.pass.cpp
@@ -8,10 +8,10 @@
 
 // REQUIRES: std-at-least-c++26
 
-#include <ranges>
-
 #include <cassert>
+#include <ranges>
 #include <type_traits>
+
 #include "test_iterators.h"
 
 struct View : std::ranges::view_base {
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/ctor.default.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/ctor.default.pass.cpp
@@ -8,9 +8,8 @@
 
 // REQUIRES: std-at-least-c++26
 
-#include <ranges>
-
 #include <cassert>
+#include <ranges>
 #include <type_traits>
 #include <vector>
 
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/ctor.verify.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/ctor.verify.cpp
@@ -12,6 +12,7 @@
 #include <ranges>
 #include <string>
 #include <vector>
+
 #include "test_macros.h"
 
 struct NoSizeRange : std::ranges::view_base {
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/end.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/end.pass.cpp
@@ -8,9 +8,9 @@
 
 // REQUIRES: std-at-least-c++26
 
+#include <cassert>
 #include <ranges>
 
-#include <cassert>
 #include "test_iterators.h"
 #include "types.h"
 
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/arithmetic.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/arithmetic.pass.cpp
@@ -8,11 +8,10 @@
 
 // REQUIRES: std-at-least-c++26
 
-#include <ranges>
-
 #include <array>
 #include <concepts>
 #include <functional>
+#include <ranges>
 
 #include "../../range_adaptor_types.h"
 
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/compare.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/compare.pass.cpp
@@ -8,13 +8,12 @@
 
 // REQUIRES: std-at-least-c++26
 
-#include <ranges>
-
 #include <array>
 #include <cassert>
+#include <ranges>
+
 #include "test_iterators.h"
 #include "test_range.h"
-
 #include "../types.h"
 
 template <class Iterator>
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/ctor.other.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/ctor.other.pass.cpp
@@ -8,8 +8,8 @@
 
 // REQUIRES: std-at-least-c++26
 
-#include <ranges>
 #include <cassert>
+#include <ranges>
 
 #include "../../range_adaptor_types.h"
 
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/decrement.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/decrement.pass.cpp
@@ -8,10 +8,14 @@
 
 // REQUIRES: std-at-least-c++26
 
-#include <ranges>
+// constexpr __iterator& operator--()
+
+// constexpr __iterator operator--(int)
 
 #include <array>
 #include <cassert>
+#include <ranges>
+
 #include "test_macros.h"
 #include "../../range_adaptor_types.h"
 
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/deref.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/deref.pass.cpp
@@ -6,12 +6,14 @@
 //
 //===----------------------------------------------------------------------===//
 
-// REQUIRES: std-at-least-c++26
+// constexpr decltype(auto) operator*() const
 
-#include <ranges>
+// REQUIRES: std-at-least-c++26
 
 #include <array>
 #include <cassert>
+#include <ranges>
+
 #include "test_iterators.h"
 #include "../types.h"
 
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/increment.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/increment.pass.cpp
@@ -8,15 +8,20 @@
 
 // REQUIRES: std-at-least-c++26
 
-#include <ranges>
+// friend constexpr __iterator operator+(const __iterator& __it, difference_type __n)
+//     requires __concat_is_random_access<_Const, _Views...>
+
+// friend constexpr __iterator operator+(difference_type __n, const __iterator& __it)
+//     requires __concat_is_random_access<_Const, _Views...>
 
 #include <array>
 #include <cassert>
 #include <concepts>
+#include <ranges>
 #include <type_traits>
 #include <utility>
-#include "test_iterators.h"
 
+#include "test_iterators.h"
 #include "../../range_adaptor_types.h"
 
 struct InputRange : IntBufferView {
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/iter_move.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/iter_move.pass.cpp
@@ -6,13 +6,19 @@
 //
 //===----------------------------------------------------------------------===//
 
-// REQUIRES: std-at-least-c++26
+// friend constexpr decltype(auto) iter_move(const __iterator& __it) noexcept(
+//       ((is_nothrow_invocable_v< decltype(ranges::iter_move), const iterator_t<__maybe_const<_Const, _Views>>& > &&
+//         is_nothrow_convertible_v< range_rvalue_reference_t<__maybe_const<_Const, _Views>>,
+//                                   __concat_rvalue_reference_t<__maybe_const<_Const, _Views>...> >) &&
+//        ...))
 
-#include <ranges>
+// REQUIRES: std-at-least-c++26
 
 #include <array>
 #include <cassert>
+#include <ranges>
 #include <utility>
+
 #include "test_iterators.h"
 #include "test_macros.h"
 #include "../types.h"
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/iter_swap.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/iter_swap.pass.cpp
@@ -6,14 +6,20 @@
 //
 //===----------------------------------------------------------------------===//
 
-// REQUIRES: std-at-least-c++26
+// friend constexpr void iter_swap(const __iterator& __x, const __iterator& __y)
+//     noexcept((noexcept(ranges::swap(*__x, *__y))) &&
+//               (noexcept(ranges::iter_swap(std::declval<const iterator_t<__maybe_const<_Const, _Views>>>(),
+//                                           std::declval<const iterator_t<__maybe_const<_Const, _Views>>>())) &&
+//               ...))
 
-#include <ranges>
+// REQUIRES: std-at-least-c++26
 
 #include <array>
 #include <cassert>
 #include <iterator>
+#include <ranges>
 #include <utility>
+
 #include "test_iterators.h"
 #include "test_macros.h"
 #include "../types.h"
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/member_types.compile.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/member_types.compile.pass.cpp
@@ -13,7 +13,6 @@
 #include <tuple>
 
 #include "test_iterators.h"
-
 #include "../../range_adaptor_types.h"
 
 template <class T>
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/minus.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/iterator/minus.pass.cpp
@@ -8,11 +8,27 @@
 
 // REQUIRES: std-at-least-c++26
 
-#include <ranges>
+// friend constexpr iterator operator-(const iterator& it, difference_type n)
+//         requires concat-is-random-access<Const, Views...>;
+
+// friend constexpr difference_type operator-(const iterator& x, const iterator& y)
+//     requires concat-is-random-access<Const, Views...>;
+
+// friend constexpr difference_type operator-(default_sentinel_t, const __iterator& __x)
+//     requires(sized_sentinel_for<sentinel_t<__maybe_const<_Const, _Views>>, iterator_t<__maybe_const<_Const, _Views>>> &&
+//              ...) &&
+//             (__all_but_first_model_sized_range<_Const, _Views...>::value)
+
+// friend constexpr difference_type operator-(const __iterator& __x, default_sentinel_t)
+//     requires(sized_sentinel_for<sentinel_t<__maybe_const<_Const, _Views>>, iterator_t<__maybe_const<_Const, _Views>>> &&
+//              ...) &&
+//             (__all_but_first_model_sized_range<_Const, _Views...>::value)
 
 #include <array>
 #include <cassert>
 #include <iterator>
+#include <ranges>
+
 #include "test_iterators.h"
 #include "test_macros.h"
 #include "../types.h"
diff --git a/libcxx/test/std/ranges/range.adaptors/range.concat/size.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.concat/size.pass.cpp
@@ -8,9 +8,9 @@
 
 // REQUIRES: std-at-least-c++26
 
+#include <cassert>
 #include <ranges>
 
-#include <cassert>
 #include "test_iterators.h"
 #include "types.h"
 
