1d8fad661SChristopher Di Bella //===----------------------------------------------------------------------===// 2d8fad661SChristopher Di Bella // 3d8fad661SChristopher Di Bella // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4d8fad661SChristopher Di Bella // See https://llvm.org/LICENSE.txt for license information. 5d8fad661SChristopher Di Bella // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6d8fad661SChristopher Di Bella // 7d8fad661SChristopher Di Bella //===----------------------------------------------------------------------===// 8d8fad661SChristopher Di Bella 9d8fad661SChristopher Di Bella // UNSUPPORTED: c++03, c++11, c++14, c++17 10d8fad661SChristopher Di Bella 11f192616cSLouis Dionne // template<class R> 12d8fad661SChristopher Di Bella // concept input_range; 13d8fad661SChristopher Di Bella 14d8fad661SChristopher Di Bella #include <ranges> 15d8fad661SChristopher Di Bella 16d8fad661SChristopher Di Bella #include "test_iterators.h" 17d8fad661SChristopher Di Bella #include "test_range.h" 18d8fad661SChristopher Di Bella 199d7c420aSLouis Dionne static_assert(std::ranges::input_range<test_range<cpp17_input_iterator> >); 209d7c420aSLouis Dionne static_assert(std::ranges::input_range<test_range<cpp17_input_iterator> const>); 21d8fad661SChristopher Di Bella 229d7c420aSLouis Dionne static_assert(std::ranges::input_range<test_range<cpp20_input_iterator> >); 239d7c420aSLouis Dionne static_assert(std::ranges::input_range<test_range<cpp20_input_iterator> const>); 24d8fad661SChristopher Di Bella 259d7c420aSLouis Dionne static_assert(std::ranges::input_range<test_non_const_range<cpp17_input_iterator> >); 269d7c420aSLouis Dionne static_assert(std::ranges::input_range<test_non_const_range<cpp20_input_iterator> >); 27d8fad661SChristopher Di Bella 289d7c420aSLouis Dionne static_assert(!std::ranges::input_range<test_non_const_range<cpp17_input_iterator> const>); 299d7c420aSLouis Dionne static_assert(!std::ranges::input_range<test_non_const_range<cpp20_input_iterator> const>); 30d8fad661SChristopher Di Bella 314a47ac7dSLouis Dionne static_assert(std::ranges::input_range<test_common_range<forward_iterator> >); 329d7c420aSLouis Dionne static_assert(!std::ranges::input_range<test_common_range<cpp20_input_iterator> >); 33d8fad661SChristopher Di Bella 344a47ac7dSLouis Dionne static_assert(std::ranges::input_range<test_common_range<forward_iterator> const>); 359d7c420aSLouis Dionne static_assert(!std::ranges::input_range<test_common_range<cpp20_input_iterator> const>); 36d8fad661SChristopher Di Bella 374a47ac7dSLouis Dionne static_assert(std::ranges::input_range<test_non_const_common_range<forward_iterator> >); 389d7c420aSLouis Dionne static_assert(!std::ranges::input_range<test_non_const_common_range<cpp20_input_iterator> >); 399d7c420aSLouis Dionne 404a47ac7dSLouis Dionne static_assert(!std::ranges::input_range<test_non_const_common_range<forward_iterator> const>); 419d7c420aSLouis Dionne static_assert(!std::ranges::input_range<test_non_const_common_range<cpp20_input_iterator> const>); 42*bf150e8dSArthur O'Dwyer 43*bf150e8dSArthur O'Dwyer // Test ADL-proofing. 44*bf150e8dSArthur O'Dwyer struct Incomplete; 45*bf150e8dSArthur O'Dwyer template<class T> struct Holder { T t; }; 46*bf150e8dSArthur O'Dwyer 47*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::input_range<Holder<Incomplete>*>); 48*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::input_range<Holder<Incomplete>*&>); 49*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::input_range<Holder<Incomplete>*&&>); 50*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::input_range<Holder<Incomplete>* const>); 51*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::input_range<Holder<Incomplete>* const&>); 52*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::input_range<Holder<Incomplete>* const&&>); 53*bf150e8dSArthur O'Dwyer 54*bf150e8dSArthur O'Dwyer static_assert( std::ranges::input_range<Holder<Incomplete>*[10]>); 55*bf150e8dSArthur O'Dwyer static_assert( std::ranges::input_range<Holder<Incomplete>*(&)[10]>); 56*bf150e8dSArthur O'Dwyer static_assert( std::ranges::input_range<Holder<Incomplete>*(&&)[10]>); 57*bf150e8dSArthur O'Dwyer static_assert( std::ranges::input_range<Holder<Incomplete>* const[10]>); 58*bf150e8dSArthur O'Dwyer static_assert( std::ranges::input_range<Holder<Incomplete>* const(&)[10]>); 59*bf150e8dSArthur O'Dwyer static_assert( std::ranges::input_range<Holder<Incomplete>* const(&&)[10]>); 60