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 // UNSUPPORTED: libcpp-has-no-incomplete-ranges
11 
12 // template<class R, class T>
13 // concept output_range;
14 
15 #include <ranges>
16 
17 #include <iterator>
18 #include "test_iterators.h"
19 #include "test_range.h"
20 
21 struct T { };
22 
23 // Satisfied when it's a range and has the right iterator
24 struct GoodRange {
25     cpp17_output_iterator<T*> begin();
26     sentinel end();
27 };
28 static_assert(std::ranges::range<GoodRange>);
29 static_assert(std::output_iterator<std::ranges::iterator_t<GoodRange>, T>);
30 static_assert(std::ranges::output_range<GoodRange, T>);
31 
32 // Not satisfied when it's not a range
33 struct NotRange {
34     cpp17_output_iterator<T*> begin();
35 };
36 static_assert(!std::ranges::range<NotRange>);
37 static_assert( std::output_iterator<std::ranges::iterator_t<NotRange>, T>);
38 static_assert(!std::ranges::output_range<NotRange, T>);
39 
40 // Not satisfied when the iterator is not an output_iterator
41 struct RangeWithBadIterator {
42     cpp17_input_iterator<T const*> begin();
43     sentinel end();
44 };
45 static_assert( std::ranges::range<RangeWithBadIterator>);
46 static_assert(!std::output_iterator<std::ranges::iterator_t<RangeWithBadIterator>, T>);
47 static_assert(!std::ranges::output_range<RangeWithBadIterator, T>);
48 
49 // Test ADL-proofing.
50 struct Incomplete;
51 template<class T> struct Holder { T t; };
52 
53 static_assert(!std::ranges::output_range<Holder<Incomplete>*, Holder<Incomplete>*>);
54 static_assert(!std::ranges::output_range<Holder<Incomplete>*&, Holder<Incomplete>*>);
55 static_assert(!std::ranges::output_range<Holder<Incomplete>*&&, Holder<Incomplete>*>);
56 static_assert(!std::ranges::output_range<Holder<Incomplete>* const, Holder<Incomplete>*>);
57 static_assert(!std::ranges::output_range<Holder<Incomplete>* const&, Holder<Incomplete>*>);
58 static_assert(!std::ranges::output_range<Holder<Incomplete>* const&&, Holder<Incomplete>*>);
59 
60 static_assert( std::ranges::output_range<Holder<Incomplete>*[10], Holder<Incomplete>*>);
61 static_assert( std::ranges::output_range<Holder<Incomplete>*(&)[10], Holder<Incomplete>*>);
62 static_assert( std::ranges::output_range<Holder<Incomplete>*(&&)[10], Holder<Incomplete>*>);
63 static_assert(!std::ranges::output_range<Holder<Incomplete>* const[10], Holder<Incomplete>*>);
64 static_assert(!std::ranges::output_range<Holder<Incomplete>* const(&)[10], Holder<Incomplete>*>);
65 static_assert(!std::ranges::output_range<Holder<Incomplete>* const(&&)[10], Holder<Incomplete>*>);
66