1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // UNSUPPORTED: c++03, c++11, c++14, c++17
10
11 // friend constexpr bool operator==(const iterator& x, const iterator& y);
12 // requires ref-is-glvalue && forward_range<Base> &&
13 // equality_comparable<iterator_t<range_reference_t<Base>>>;
14
15 #include <cassert>
16 #include <ranges>
17
18 #include "../types.h"
19
test()20 constexpr bool test() {
21 int buffer[4][4] = {{1, 2, 3, 4}, {5, 6, 7, 8}, {9, 10, 11, 12}, {13, 14, 15, 16}};
22 {
23 std::ranges::join_view jv(buffer);
24 auto iter1 = jv.begin();
25 auto iter2 = jv.begin();
26 assert(iter1 == iter2);
27 iter1++;
28 assert(iter1 != iter2);
29 iter2++;
30 assert(iter1 == iter2);
31
32 assert(jv.begin() == std::as_const(jv).begin());
33 }
34
35 {
36 // !ref-is-glvalue
37 BidiCommonInner inners[2] = {buffer[0], buffer[1]};
38 InnerRValue<BidiCommonOuter<BidiCommonInner>> outer{inners};
39 std::ranges::join_view jv(outer);
40 auto iter = jv.begin();
41 static_assert(!std::equality_comparable<decltype(iter)>);
42 }
43
44 {
45 // !forward_range<Base>
46 using Inner = BufferView<int*>;
47 using Outer = BufferView<cpp20_input_iterator<Inner*>, sentinel_wrapper<cpp20_input_iterator<Inner*>>>;
48 static_assert(!std::equality_comparable<std::ranges::iterator_t<Outer>>);
49 Inner inners[2] = {buffer[0], buffer[1]};
50 std::ranges::join_view jv(Outer{inners});
51 auto iter = jv.begin();
52 static_assert(!std::equality_comparable<decltype(iter)>);
53 }
54
55 {
56 // !equality_comparable<iterator_t<range_reference_t<Base>>>;
57 using Inner = BufferView<cpp20_input_iterator<int*>, sentinel_wrapper<cpp20_input_iterator<int*>>>;
58 Inner inners[1] = {buffer[0]};
59 std::ranges::join_view jv{inners};
60 auto iter = jv.begin();
61 static_assert(!std::equality_comparable<decltype(iter)>);
62 auto const_iter = std::as_const(jv).begin();
63 static_assert(!std::equality_comparable<decltype(const_iter)>);
64 }
65
66 return true;
67 }
68
main(int,char **)69 int main(int, char**) {
70 test();
71 static_assert(test());
72
73 return 0;
74 }
75