diff --git a/libcxx/test/std/ranges/range.adaptors/range.common.view/base.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.common.view/base.pass.cpp index 78193489252786..6b53c201b10758 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.common.view/base.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.common.view/base.pass.cpp @@ -40,11 +40,11 @@ constexpr bool test() { } { - ContiguousView view{buf, buf + 8}; - std::ranges::common_view common(std::move(view)); + MoveOnlyView view{buf, buf + 8}; + std::ranges::common_view common(std::move(view)); assert(std::move(common).base().begin_ == buf); - ASSERT_SAME_TYPE(decltype(std::move(common).base()), ContiguousView); + ASSERT_SAME_TYPE(decltype(std::move(common).base()), MoveOnlyView); static_assert(!hasLValueQualifiedBase(common)); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.common.view/begin.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.common.view/begin.pass.cpp index 579d84e47c3386..adf27459f4c833 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.common.view/begin.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.common.view/begin.pass.cpp @@ -79,8 +79,8 @@ int main(int, char**) { } { - ContiguousView view{buf, buf + 8}; - std::ranges::common_view common(std::move(view)); + MoveOnlyView view{buf, buf + 8}; + std::ranges::common_view common(std::move(view)); using CommonIter = std::common_iterator>; std::same_as auto begin = common.begin(); assert(begin == std::ranges::begin(view)); diff --git a/libcxx/test/std/ranges/range.adaptors/range.common.view/ctor.default.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.common.view/ctor.default.pass.cpp index 484ca111be7330..f8412f2b094c84 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.common.view/ctor.default.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.common.view/ctor.default.pass.cpp @@ -21,7 +21,7 @@ #include "types.h" int main(int, char**) { - static_assert(!std::default_initializable>); + static_assert(!std::default_initializable>); static_assert( std::default_initializable>); std::ranges::common_view common; diff --git a/libcxx/test/std/ranges/range.adaptors/range.common.view/ctor.view.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.common.view/ctor.view.pass.cpp index a31f85f0a7172c..e3678df4c762f0 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.common.view/ctor.view.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.common.view/ctor.view.pass.cpp @@ -24,8 +24,8 @@ constexpr bool test() { int buf[8] = {1, 2, 3, 4, 5, 6, 7, 8}; { - ContiguousView view{buf, buf + 8}; - std::ranges::common_view common(std::move(view)); + MoveOnlyView view{buf, buf + 8}; + std::ranges::common_view common(std::move(view)); assert(std::move(common).base().begin_ == buf); } @@ -45,8 +45,8 @@ int main(int, char**) { // Can't compare common_iterator inside constexpr { int buf[8] = {1, 2, 3, 4, 5, 6, 7, 8}; - ContiguousView view{buf, buf + 8}; - std::ranges::common_view const common(std::move(view)); + MoveOnlyView view{buf, buf + 8}; + std::ranges::common_view const common(std::move(view)); assert(common.begin() == buf); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.common.view/types.h b/libcxx/test/std/ranges/range.adaptors/range.common.view/types.h index 98f62c01123f25..698c5af73cda82 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.common.view/types.h +++ b/libcxx/test/std/ranges/range.adaptors/range.common.view/types.h @@ -23,18 +23,18 @@ struct DefaultConstructibleView : std::ranges::view_base { static_assert(std::ranges::view); static_assert(std::default_initializable); -struct ContiguousView : std::ranges::view_base { +struct MoveOnlyView : std::ranges::view_base { int* begin_; int* end_; - constexpr explicit ContiguousView(int* b, int* e) : begin_(b), end_(e) { } - constexpr ContiguousView(ContiguousView&&) = default; - constexpr ContiguousView& operator=(ContiguousView&&) = default; + constexpr explicit MoveOnlyView(int* b, int* e) : begin_(b), end_(e) { } + constexpr MoveOnlyView(MoveOnlyView&&) = default; + constexpr MoveOnlyView& operator=(MoveOnlyView&&) = default; constexpr int *begin() const { return begin_; } constexpr auto end() const { return sentinel_wrapper(end_); } }; -static_assert( std::ranges::view); -static_assert( std::ranges::contiguous_range); -static_assert(!std::copyable); +static_assert( std::ranges::view); +static_assert( std::ranges::contiguous_range); +static_assert(!std::copyable); struct CopyableView : std::ranges::view_base { int* begin_; diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/base.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.drop/base.pass.cpp index 62f33fac6652cd..3113fb4b7bba14 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/base.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/base.pass.cpp @@ -19,12 +19,12 @@ #include "types.h" constexpr bool test() { - std::ranges::drop_view dropView1; + std::ranges::drop_view dropView1; auto base1 = std::move(dropView1).base(); assert(std::ranges::begin(base1) == globalBuff); // Note: we should *not* drop two elements here. - std::ranges::drop_view dropView2(ContiguousView{4}, 2); + std::ranges::drop_view dropView2(MoveOnlyView{4}, 2); auto base2 = std::move(dropView2).base(); assert(std::ranges::begin(base2) == globalBuff + 4); diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/begin.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.drop/begin.pass.cpp index 433cffdb94cdd6..ca19ef2ba80239 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/begin.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/begin.pass.cpp @@ -26,7 +26,7 @@ concept BeginInvocable = requires(std::ranges::drop_view t) { t.begin(); }; constexpr bool test() { // random_access_range && sized_range - std::ranges::drop_view dropView1(ContiguousView(), 4); + std::ranges::drop_view dropView1(MoveOnlyView(), 4); assert(dropView1.begin() == globalBuff + 4); // !random_access_range @@ -38,19 +38,19 @@ constexpr bool test() { assert(dropView3.begin().base() == globalBuff + 4); // random_access_range && sized_range - std::ranges::drop_view dropView4(ContiguousView(), 8); + std::ranges::drop_view dropView4(MoveOnlyView(), 8); assert(dropView4.begin() == globalBuff + 8); // random_access_range && sized_range - std::ranges::drop_view dropView5(ContiguousView(), 0); + std::ranges::drop_view dropView5(MoveOnlyView(), 0); assert(dropView5.begin() == globalBuff); // random_access_range && sized_range - const std::ranges::drop_view dropView6(ContiguousView(), 0); + const std::ranges::drop_view dropView6(MoveOnlyView(), 0); assert(dropView6.begin() == globalBuff); // random_access_range && sized_range - std::ranges::drop_view dropView7(ContiguousView(), 10); + std::ranges::drop_view dropView7(MoveOnlyView(), 10); assert(dropView7.begin() == globalBuff + 8); CountedView view8; diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/ctad.compile.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.drop/ctad.compile.pass.cpp index 022dbb34cb37d1..84575c9c189772 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/ctad.compile.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/ctad.compile.pass.cpp @@ -20,7 +20,7 @@ namespace ranges = std::ranges; -static_assert(std::same_as>); +static_assert(std::same_as>); static_assert(std::same_as>); static_assert(std::same_as>); static_assert(std::same_as>); diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/ctor.default.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.drop/ctor.default.pass.cpp index fa1c46ccb9e927..379c38862b7fa2 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/ctor.default.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/ctor.default.pass.cpp @@ -18,7 +18,7 @@ #include "types.h" constexpr bool test() { - std::ranges::drop_view dropView1; + std::ranges::drop_view dropView1; assert(std::ranges::begin(dropView1) == globalBuff); static_assert( std::is_default_constructible_v>); diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/ctor.view.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.drop/ctor.view.pass.cpp index 8949da522ba1c2..415562f3e61795 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/ctor.view.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/ctor.view.pass.cpp @@ -18,7 +18,7 @@ #include "types.h" constexpr bool test() { - std::ranges::drop_view dropView1(ContiguousView(), 4); + std::ranges::drop_view dropView1(MoveOnlyView(), 4); assert(dropView1.size() == 4); assert(dropView1.begin() == globalBuff + 4); diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/end.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.drop/end.pass.cpp index 5354eed50cd45a..cfff93e2290162 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/end.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/end.pass.cpp @@ -22,7 +22,7 @@ constexpr bool test() { // range - std::ranges::drop_view dropView1(ContiguousView(), 4); + std::ranges::drop_view dropView1(MoveOnlyView(), 4); assert(dropView1.end() == globalBuff + 8); // !simple-view @@ -30,7 +30,7 @@ constexpr bool test() { assert(dropView2.end() == globalBuff + 8); // range - const std::ranges::drop_view dropView3(ContiguousView(), 0); + const std::ranges::drop_view dropView3(MoveOnlyView(), 0); assert(dropView3.end() == globalBuff + 8); // !simple-view @@ -38,7 +38,7 @@ constexpr bool test() { assert(dropView4.end() == globalBuff + 8); // range - std::ranges::drop_view dropView5(ContiguousView(), 10); + std::ranges::drop_view dropView5(MoveOnlyView(), 10); assert(dropView5.end() == globalBuff + 8); return true; diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/general.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.drop/general.pass.cpp index 44f778f811e555..f3560fada9f28a 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/general.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/general.pass.cpp @@ -28,10 +28,10 @@ template concept ValidDropView = requires { typename std::ranges::drop_view; }; -static_assert( ValidDropView); +static_assert( ValidDropView); static_assert(!ValidDropView); -static_assert(!std::ranges::enable_borrowed_range>); +static_assert(!std::ranges::enable_borrowed_range>); static_assert( std::ranges::enable_borrowed_range>); template diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/size.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.drop/size.pass.cpp index a6721e903810af..86381456452202 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/size.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/size.pass.cpp @@ -25,19 +25,19 @@ concept SizeInvocable = requires(std::ranges::drop_view t) { t.size(); }; constexpr bool test() { // sized_range - std::ranges::drop_view dropView1(ContiguousView(), 4); + std::ranges::drop_view dropView1(MoveOnlyView(), 4); assert(dropView1.size() == 4); // sized_range - std::ranges::drop_view dropView2(ContiguousView(), 0); + std::ranges::drop_view dropView2(MoveOnlyView(), 0); assert(dropView2.size() == 8); // sized_range - const std::ranges::drop_view dropView3(ContiguousView(), 8); + const std::ranges::drop_view dropView3(MoveOnlyView(), 8); assert(dropView3.size() == 0); // sized_range - const std::ranges::drop_view dropView4(ContiguousView(), 10); + const std::ranges::drop_view dropView4(MoveOnlyView(), 10); assert(dropView4.size() == 0); // Because ForwardView is not a sized_range. diff --git a/libcxx/test/std/ranges/range.adaptors/range.drop/types.h b/libcxx/test/std/ranges/range.adaptors/range.drop/types.h index 19c2a738c96858..8a9612edcafc48 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.drop/types.h +++ b/libcxx/test/std/ranges/range.adaptors/range.drop/types.h @@ -14,17 +14,17 @@ int globalBuff[8]; -struct ContiguousView : std::ranges::view_base { +struct MoveOnlyView : std::ranges::view_base { int start_; - constexpr explicit ContiguousView(int start = 0) : start_(start) {} - constexpr ContiguousView(ContiguousView&&) = default; - constexpr ContiguousView& operator=(ContiguousView&&) = default; + constexpr explicit MoveOnlyView(int start = 0) : start_(start) {} + constexpr MoveOnlyView(MoveOnlyView&&) = default; + constexpr MoveOnlyView& operator=(MoveOnlyView&&) = default; constexpr int *begin() const { return globalBuff + start_; } constexpr int *end() const { return globalBuff + 8; } }; -static_assert( std::ranges::view); -static_assert( std::ranges::contiguous_range); -static_assert(!std::copyable); +static_assert( std::ranges::view); +static_assert( std::ranges::contiguous_range); +static_assert(!std::copyable); struct CopyableView : std::ranges::view_base { int start_; diff --git a/libcxx/test/std/ranges/range.adaptors/range.take/base.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.take/base.pass.cpp index fe0e0c3b37bdb8..c33396f96d652a 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.take/base.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.take/base.pass.cpp @@ -38,10 +38,10 @@ constexpr bool test() { } { - std::ranges::take_view tv(ContiguousView{buffer}, 1); + std::ranges::take_view tv(MoveOnlyView{buffer}, 1); assert(std::move(tv).base().ptr_ == buffer); - ASSERT_SAME_TYPE(decltype(std::move(tv).base()), ContiguousView); + ASSERT_SAME_TYPE(decltype(std::move(tv).base()), MoveOnlyView); static_assert(!hasLValueQualifiedBase(tv)); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.take/begin.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.take/begin.pass.cpp index 556542dce0491a..056817f1e7f45d 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.take/begin.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.take/begin.pass.cpp @@ -52,13 +52,13 @@ constexpr bool test() { // !sized_range { - std::ranges::take_view tv(ContiguousView{buffer}, 4); + std::ranges::take_view tv(MoveOnlyView{buffer}, 4); assert(tv.begin() == std::counted_iterator(buffer, 4)); ASSERT_SAME_TYPE(decltype(tv.begin()), std::counted_iterator); } { - const std::ranges::take_view tv(ContiguousView{buffer}, 4); + const std::ranges::take_view tv(MoveOnlyView{buffer}, 4); assert(tv.begin() == std::counted_iterator(buffer, 4)); ASSERT_SAME_TYPE(decltype(tv.begin()), std::counted_iterator); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.take/ctor.view_count.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.take/ctor.view_count.pass.cpp index dabd5034f85ae0..e56952172dc7cc 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.take/ctor.view_count.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.take/ctor.view_count.pass.cpp @@ -30,7 +30,7 @@ constexpr bool test() { } { - std::ranges::take_view tv(ContiguousView{buffer}, 1); + std::ranges::take_view tv(MoveOnlyView{buffer}, 1); assert(std::move(tv).base().ptr_ == buffer); assert(std::ranges::next(tv.begin(), 1) == tv.end()); // Checking we have correct size. } diff --git a/libcxx/test/std/ranges/range.adaptors/range.take/end.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.take/end.pass.cpp index 046e739bc88599..5da1279315da88 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.take/end.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.take/end.pass.cpp @@ -52,7 +52,7 @@ constexpr bool test() { // !sized_range { - std::ranges::take_view tv(ContiguousView{buffer}, 4); + std::ranges::take_view tv(MoveOnlyView{buffer}, 4); assert(tv.end() == std::ranges::next(tv.begin(), 4)); // The type. @@ -61,7 +61,7 @@ constexpr bool test() { } { - const std::ranges::take_view tv(ContiguousView{buffer}, 5); + const std::ranges::take_view tv(MoveOnlyView{buffer}, 5); assert(tv.end() == std::ranges::next(tv.begin(), 5)); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/base.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/base.pass.cpp index 8a5a6b034da5bb..cd666f19d3a282 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/base.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/base.pass.cpp @@ -27,13 +27,13 @@ constexpr bool test() { auto sw = sentinel_wrapper(buffer + 8); // Note: not 4, but that's OK. { - const std::ranges::take_view tv(ContiguousView{buffer}, 4); + const std::ranges::take_view tv(MoveOnlyView{buffer}, 4); assert(tv.end().base().base() == sw.base()); ASSERT_SAME_TYPE(decltype(tv.end().base()), sentinel_wrapper); } { - std::ranges::take_view tv(ContiguousView{buffer}, 4); + std::ranges::take_view tv(MoveOnlyView{buffer}, 4); assert(tv.end().base().base() == sw.base()); ASSERT_SAME_TYPE(decltype(tv.end().base()), sentinel_wrapper); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/ctor.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/ctor.pass.cpp index ea762e23c3e08c..842659ccdc9391 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/ctor.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/ctor.pass.cpp @@ -27,13 +27,13 @@ constexpr bool test() { { // Test the default ctor. - std::ranges::take_view tv(ContiguousView{buffer}, 4); + std::ranges::take_view tv(MoveOnlyView{buffer}, 4); assert(decltype(tv.end()){} == std::ranges::next(tv.begin(), 4)); } { - std::ranges::take_view nonConst(ContiguousView{buffer}, 5); - const std::ranges::take_view tvConst(ContiguousView{buffer}, 5); + std::ranges::take_view nonConst(MoveOnlyView{buffer}, 5); + const std::ranges::take_view tvConst(MoveOnlyView{buffer}, 5); auto sent1 = nonConst.end(); // Convert to const. Note, we cannot go the other way. std::remove_cv_t sent2 = sent1; diff --git a/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/eq.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/eq.pass.cpp index a4fc7ca91ae4a0..47fbaafbed5a6c 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/eq.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.take/sentinel/eq.pass.cpp @@ -27,21 +27,21 @@ constexpr bool test() { { { - const std::ranges::take_view tv(ContiguousView{buffer}, 4); + const std::ranges::take_view tv(MoveOnlyView{buffer}, 4); assert(tv.end() == std::ranges::next(tv.begin(), 4)); assert(std::ranges::next(tv.begin(), 4) == tv.end()); } { - std::ranges::take_view tv(ContiguousView{buffer}, 4); + std::ranges::take_view tv(MoveOnlyView{buffer}, 4); assert(tv.end() == std::ranges::next(tv.begin(), 4)); assert(std::ranges::next(tv.begin(), 4) == tv.end()); } } { - std::ranges::take_view tvNonConst(ContiguousView{buffer}, 4); - const std::ranges::take_view tvConst(ContiguousView{buffer}, 4); + std::ranges::take_view tvNonConst(MoveOnlyView{buffer}, 4); + const std::ranges::take_view tvConst(MoveOnlyView{buffer}, 4); assert(tvNonConst.end() == std::ranges::next(tvConst.begin(), 4)); assert(std::ranges::next(tvConst.begin(), 4) == tvNonConst.end()); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.take/types.h b/libcxx/test/std/ranges/range.adaptors/range.take/types.h index 81952c52a767ea..bd3336c6f04d16 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.take/types.h +++ b/libcxx/test/std/ranges/range.adaptors/range.take/types.h @@ -7,19 +7,19 @@ #include "test_iterators.h" #include "test_range.h" -struct ContiguousView : std::ranges::view_base { +struct MoveOnlyView : std::ranges::view_base { int *ptr_; - constexpr explicit ContiguousView(int* ptr) : ptr_(ptr) {} - ContiguousView(ContiguousView&&) = default; - ContiguousView& operator=(ContiguousView&&) = default; + constexpr explicit MoveOnlyView(int* ptr) : ptr_(ptr) {} + MoveOnlyView(MoveOnlyView&&) = default; + MoveOnlyView& operator=(MoveOnlyView&&) = default; constexpr int* begin() const {return ptr_;} constexpr sentinel_wrapper end() const {return sentinel_wrapper{ptr_ + 8};} }; -static_assert( std::ranges::view); -static_assert( std::ranges::contiguous_range); -static_assert(!std::copyable); +static_assert( std::ranges::view); +static_assert( std::ranges::contiguous_range); +static_assert(!std::copyable); struct CopyableView : std::ranges::view_base { int *ptr_; diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/adaptor.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/adaptor.pass.cpp index 7c3b27bb5739fb..ce1a00e3177d53 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/adaptor.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/adaptor.pass.cpp @@ -39,8 +39,8 @@ constexpr bool test() { // Test `views::transform(f)(v)` { { - using Result = std::ranges::transform_view; - std::same_as auto result = std::views::transform(PlusOne{})(ContiguousView{buff}); + using Result = std::ranges::transform_view; + std::same_as auto result = std::views::transform(PlusOne{})(MoveOnlyView{buff}); assert(result.begin().base() == buff); assert(result[0] == 1); assert(result[1] == 2); @@ -48,8 +48,8 @@ constexpr bool test() { } { auto const partial = std::views::transform(PlusOne{}); - using Result = std::ranges::transform_view; - std::same_as auto result = partial(ContiguousView{buff}); + using Result = std::ranges::transform_view; + std::same_as auto result = partial(MoveOnlyView{buff}); assert(result.begin().base() == buff); assert(result[0] == 1); assert(result[1] == 2); @@ -60,8 +60,8 @@ constexpr bool test() { // Test `v | views::transform(f)` { { - using Result = std::ranges::transform_view; - std::same_as auto result = ContiguousView{buff} | std::views::transform(PlusOne{}); + using Result = std::ranges::transform_view; + std::same_as auto result = MoveOnlyView{buff} | std::views::transform(PlusOne{}); assert(result.begin().base() == buff); assert(result[0] == 1); assert(result[1] == 2); @@ -69,8 +69,8 @@ constexpr bool test() { } { auto const partial = std::views::transform(PlusOne{}); - using Result = std::ranges::transform_view; - std::same_as auto result = ContiguousView{buff} | partial; + using Result = std::ranges::transform_view; + std::same_as auto result = MoveOnlyView{buff} | partial; assert(result.begin().base() == buff); assert(result[0] == 1); assert(result[1] == 2); @@ -80,8 +80,8 @@ constexpr bool test() { // Test `views::transform(v, f)` { - using Result = std::ranges::transform_view; - std::same_as auto result = std::views::transform(ContiguousView{buff}, PlusOne{}); + using Result = std::ranges::transform_view; + std::same_as auto result = std::views::transform(MoveOnlyView{buff}, PlusOne{}); assert(result.begin().base() == buff); assert(result[0] == 1); assert(result[1] == 2); @@ -101,8 +101,8 @@ constexpr bool test() { // Test `adaptor | views::transform(f)` { { - using Result = std::ranges::transform_view, TimesTwo>; - std::same_as auto result = ContiguousView{buff} | std::views::transform(PlusOne{}) | std::views::transform(TimesTwo{}); + using Result = std::ranges::transform_view, TimesTwo>; + std::same_as auto result = MoveOnlyView{buff} | std::views::transform(PlusOne{}) | std::views::transform(TimesTwo{}); assert(result.begin().base().base() == buff); assert(result[0] == 2); assert(result[1] == 4); @@ -110,8 +110,8 @@ constexpr bool test() { } { auto const partial = std::views::transform(PlusOne{}) | std::views::transform(TimesTwo{}); - using Result = std::ranges::transform_view, TimesTwo>; - std::same_as auto result = ContiguousView{buff} | partial; + using Result = std::ranges::transform_view, TimesTwo>; + std::same_as auto result = MoveOnlyView{buff} | partial; assert(result.begin().base().base() == buff); assert(result[0] == 2); assert(result[1] == 4); @@ -124,15 +124,15 @@ constexpr bool test() { struct NotAView { }; struct NotInvocable { }; - static_assert(!CanBePiped); - static_assert( CanBePiped); + static_assert(!CanBePiped); + static_assert( CanBePiped); static_assert(!CanBePiped); - static_assert(!CanBePiped); + static_assert(!CanBePiped); static_assert(!std::is_invocable_v); - static_assert(!std::is_invocable_v); - static_assert( std::is_invocable_v); - static_assert(!std::is_invocable_v); + static_assert(!std::is_invocable_v); + static_assert( std::is_invocable_v); + static_assert(!std::is_invocable_v); static_assert(!std::is_invocable_v); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/base.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/base.pass.cpp index 6e9572d12ada43..ca61481c5cabb6 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/base.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/base.pass.cpp @@ -20,9 +20,9 @@ constexpr bool test() { { - std::ranges::transform_view transformView; - ContiguousView base = std::move(transformView).base(); - ASSERT_SAME_TYPE(ContiguousView, decltype(std::move(transformView).base())); + std::ranges::transform_view transformView; + MoveOnlyView base = std::move(transformView).base(); + ASSERT_SAME_TYPE(MoveOnlyView, decltype(std::move(transformView).base())); assert(std::ranges::begin(base) == globalBuff); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/begin.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/begin.pass.cpp index b4665a5b74f496..af13da520d7f64 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/begin.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/begin.pass.cpp @@ -27,7 +27,7 @@ constexpr bool test() { int buff[8] = {0, 1, 2, 3, 4, 5, 6, 7}; { - std::ranges::transform_view transformView(ContiguousView{buff}, PlusOneMutable{}); + std::ranges::transform_view transformView(MoveOnlyView{buff}, PlusOneMutable{}); assert(transformView.begin().base() == buff); assert(*transformView.begin() == 1); } @@ -45,11 +45,11 @@ constexpr bool test() { } { - const std::ranges::transform_view transformView(ContiguousView{buff}, PlusOne{}); + const std::ranges::transform_view transformView(MoveOnlyView{buff}, PlusOne{}); assert(*transformView.begin() == 1); } - static_assert(!BeginInvocable>); + static_assert(!BeginInvocable>); return true; } diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/end.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/end.pass.cpp index 9c11ef6469b6f9..c933e44f1a78f7 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/end.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/end.pass.cpp @@ -32,7 +32,7 @@ concept EndIsIter = requires(T t) { ++t.end(); }; constexpr bool test() { { - std::ranges::transform_view transformView(ContiguousView{}, PlusOneMutable{}); + std::ranges::transform_view transformView(MoveOnlyView{}, PlusOneMutable{}); assert(transformView.end().base() == globalBuff + 8); } @@ -47,21 +47,21 @@ constexpr bool test() { } { - const std::ranges::transform_view transformView(ContiguousView{}, PlusOne{}); + const std::ranges::transform_view transformView(MoveOnlyView{}, PlusOne{}); assert(transformView.end().base() == globalBuff + 8); } - static_assert(!EndInvocable>); - static_assert( EndInvocable< std::ranges::transform_view>); - static_assert( EndInvocable>); + static_assert(!EndInvocable>); + static_assert( EndInvocable< std::ranges::transform_view>); + static_assert( EndInvocable>); static_assert(!EndInvocable>); static_assert( EndInvocable< std::ranges::transform_view>); static_assert( EndInvocable>); static_assert(!EndIsIter>); static_assert(!EndIsIter< std::ranges::transform_view>); - static_assert( EndIsIter>); - static_assert( EndIsIter< std::ranges::transform_view>); + static_assert( EndIsIter>); + static_assert( EndIsIter< std::ranges::transform_view>); return true; } diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/general.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/general.pass.cpp index aec7143903e4ef..6dd80025289c84 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/general.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/general.pass.cpp @@ -32,9 +32,9 @@ template concept ValidTransformView = requires { typename std::ranges::transform_view; }; struct BadFunction { }; -static_assert( ValidTransformView); +static_assert( ValidTransformView); static_assert(!ValidTransformView); -static_assert(!ValidTransformView); +static_assert(!ValidTransformView); template auto toUpper(R range) { diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/arithmetic.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/arithmetic.pass.cpp index cde7431bd82a68..61aa6f31cb8ba2 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/arithmetic.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/arithmetic.pass.cpp @@ -18,7 +18,7 @@ #include "../types.h" constexpr bool test() { - std::ranges::transform_view transformView; + std::ranges::transform_view transformView; auto iter = std::move(transformView).begin(); assert((++iter).base() == globalBuff + 1); diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/base.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/base.pass.cpp index f60ed2a5c8214b..a69739647d6df1 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/base.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/base.pass.cpp @@ -24,7 +24,7 @@ concept BaseInvocable = requires(std::ranges::iterator_t transformView; + std::ranges::transform_view transformView; auto iter = std::move(transformView).begin(); ASSERT_SAME_TYPE(int*, decltype(iter.base())); assert(iter.base() == globalBuff); diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/ctor.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/ctor.pass.cpp index 5e333f8d8d1f5d..a64acb51171e35 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/ctor.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/ctor.pass.cpp @@ -57,15 +57,15 @@ struct IterNoDefaultInitView : std::ranges::view_base { }; constexpr bool test() { - std::ranges::transform_view transformView; + std::ranges::transform_view transformView; auto iter = std::move(transformView).begin(); - std::ranges::iterator_t> i2(iter); + std::ranges::iterator_t> i2(iter); (void)i2; - std::ranges::iterator_t> constIter(iter); + std::ranges::iterator_t> constIter(iter); (void)constIter; - static_assert( std::default_initializable>>); + static_assert( std::default_initializable>>); static_assert(!std::default_initializable>>); return true; diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/deref.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/deref.pass.cpp index f1bc26d152a5ca..93b28e9da0873f 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/deref.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/deref.pass.cpp @@ -20,40 +20,40 @@ int main(int, char**) { { int buff[] = {0, 1, 2, 3, 4, 5, 6, 7}; - using View = std::ranges::transform_view; - View transformView(ContiguousView{buff}, PlusOne{}); + using View = std::ranges::transform_view; + View transformView(MoveOnlyView{buff}, PlusOne{}); assert(*transformView.begin() == 1); static_assert(!noexcept(*std::declval>())); ASSERT_SAME_TYPE(int, decltype(*std::declval().begin())); } { int buff[] = {0, 1, 2, 3, 4, 5, 6, 7}; - using View = std::ranges::transform_view; - View transformView(ContiguousView{buff}, PlusOneMutable{}); + using View = std::ranges::transform_view; + View transformView(MoveOnlyView{buff}, PlusOneMutable{}); assert(*transformView.begin() == 1); static_assert(!noexcept(*std::declval>())); ASSERT_SAME_TYPE(int, decltype(*std::declval().begin())); } { int buff[] = {0, 1, 2, 3, 4, 5, 6, 7}; - using View = std::ranges::transform_view; - View transformView(ContiguousView{buff}, PlusOneNoexcept{}); + using View = std::ranges::transform_view; + View transformView(MoveOnlyView{buff}, PlusOneNoexcept{}); assert(*transformView.begin() == 1); static_assert(noexcept(*std::declval>())); ASSERT_SAME_TYPE(int, decltype(*std::declval().begin())); } { int buff[] = {0, 1, 2, 3, 4, 5, 6, 7}; - using View = std::ranges::transform_view; - View transformView(ContiguousView{buff}, Increment{}); + using View = std::ranges::transform_view; + View transformView(MoveOnlyView{buff}, Increment{}); assert(*transformView.begin() == 1); static_assert(!noexcept(*std::declval>())); ASSERT_SAME_TYPE(int&, decltype(*std::declval().begin())); } { int buff[] = {0, 1, 2, 3, 4, 5, 6, 7}; - using View = std::ranges::transform_view; - View transformView(ContiguousView{buff}, IncrementRvalueRef{}); + using View = std::ranges::transform_view; + View transformView(MoveOnlyView{buff}, IncrementRvalueRef{}); assert(*transformView.begin() == 1); static_assert(!noexcept(*std::declval>())); ASSERT_SAME_TYPE(int&&, decltype(*std::declval().begin())); diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/iter_move.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/iter_move.pass.cpp index 85a46d99e4904d..4ec70792d07e82 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/iter_move.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/iter_move.pass.cpp @@ -21,7 +21,7 @@ constexpr bool test() { int buff[8] = {0, 1, 2, 3, 4, 5, 6, 7}; { - std::ranges::transform_view transformView(ContiguousView{buff}, PlusOneMutable{}); + std::ranges::transform_view transformView(MoveOnlyView{buff}, PlusOneMutable{}); auto iter = transformView.begin(); static_assert(!noexcept(std::ranges::iter_move(iter))); @@ -34,9 +34,9 @@ constexpr bool test() { { static_assert( noexcept(std::ranges::iter_move( - std::declval>&>()))); + std::declval>&>()))); static_assert(!noexcept(std::ranges::iter_move( - std::declval>&>()))); + std::declval>&>()))); } return true; diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/plus_minus.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/plus_minus.pass.cpp index 4a97d75958a9cc..9baff10cc034dd 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/plus_minus.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/plus_minus.pass.cpp @@ -18,9 +18,9 @@ #include "../types.h" constexpr bool test() { - std::ranges::transform_view transformView1; + std::ranges::transform_view transformView1; auto iter1 = std::move(transformView1).begin(); - std::ranges::transform_view transformView2; + std::ranges::transform_view transformView2; auto iter2 = std::move(transformView2).begin(); iter1 += 4; assert((iter1 + 1).base() == globalBuff + 5); diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/subscript.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/subscript.pass.cpp index 567f646fbd14dd..56c223de0caad0 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/subscript.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/subscript.pass.cpp @@ -19,15 +19,15 @@ constexpr bool test() { int buff[8] = {0, 1, 2, 3, 4, 5, 6, 7}; - std::ranges::transform_view transformView1(ContiguousView{buff}, PlusOneMutable{}); + std::ranges::transform_view transformView1(MoveOnlyView{buff}, PlusOneMutable{}); auto iter1 = std::move(transformView1).begin() + 1; assert(iter1[0] == 2); assert(iter1[4] == 6); static_assert(!noexcept( - std::declval>>()[0])); + std::declval>>()[0])); static_assert( noexcept( - std::declval>>()[0])); + std::declval>>()[0])); ASSERT_SAME_TYPE( int, diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/types.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/types.pass.cpp index de7747023f5a43..7118bb05ca1d4b 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/types.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/iterator/types.pass.cpp @@ -29,7 +29,7 @@ constexpr bool test() { static_assert(std::same_as::iterator_concept, std::contiguous_iterator_tag>); static_assert(std::same_as::iterator_category, std::random_access_iterator_tag>); - using TView = std::ranges::transform_view; + using TView = std::ranges::transform_view; using TIter = std::ranges::iterator_t; static_assert(std::same_as); static_assert(std::same_as); diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/size.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.transform/size.pass.cpp index 0402d44f664471..9da0146ae63fbb 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/size.pass.cpp +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/size.pass.cpp @@ -23,12 +23,12 @@ concept SizeInvocable = requires(T t) { t.size(); }; constexpr bool test() { { - std::ranges::transform_view transformView(ContiguousView{}, PlusOne{}); + std::ranges::transform_view transformView(MoveOnlyView{}, PlusOne{}); assert(transformView.size() == 8); } { - const std::ranges::transform_view transformView(ContiguousView{globalBuff, 4}, PlusOne{}); + const std::ranges::transform_view transformView(MoveOnlyView{globalBuff, 4}, PlusOne{}); assert(transformView.size() == 4); } diff --git a/libcxx/test/std/ranges/range.adaptors/range.transform/types.h b/libcxx/test/std/ranges/range.adaptors/range.transform/types.h index 24563719cf56bc..3c1ed0f564a827 100644 --- a/libcxx/test/std/ranges/range.adaptors/range.transform/types.h +++ b/libcxx/test/std/ranges/range.adaptors/range.transform/types.h @@ -15,18 +15,18 @@ int globalBuff[8] = {0,1,2,3,4,5,6,7}; -struct ContiguousView : std::ranges::view_base { +struct MoveOnlyView : std::ranges::view_base { int start_; int *ptr_; - constexpr explicit ContiguousView(int* ptr = globalBuff, int start = 0) : start_(start), ptr_(ptr) {} - constexpr ContiguousView(ContiguousView&&) = default; - constexpr ContiguousView& operator=(ContiguousView&&) = default; + constexpr explicit MoveOnlyView(int* ptr = globalBuff, int start = 0) : start_(start), ptr_(ptr) {} + constexpr MoveOnlyView(MoveOnlyView&&) = default; + constexpr MoveOnlyView& operator=(MoveOnlyView&&) = default; constexpr int *begin() const { return ptr_ + start_; } constexpr int *end() const { return ptr_ + 8; } }; -static_assert( std::ranges::view); -static_assert( std::ranges::contiguous_range); -static_assert(!std::copyable); +static_assert( std::ranges::view); +static_assert( std::ranges::contiguous_range); +static_assert(!std::copyable); struct CopyableView : std::ranges::view_base { int start_;