60 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8 9// UNSUPPORTED: c++03, c++11, c++14, c++1710 11// template<class R>12// concept input_range;13 14#include <ranges>15 16#include "test_iterators.h"17#include "test_range.h"18 19static_assert(std::ranges::input_range<test_range<cpp17_input_iterator> >);20static_assert(std::ranges::input_range<test_range<cpp17_input_iterator> const>);21 22static_assert(std::ranges::input_range<test_range<cpp20_input_iterator> >);23static_assert(std::ranges::input_range<test_range<cpp20_input_iterator> const>);24 25static_assert(std::ranges::input_range<test_non_const_range<cpp17_input_iterator> >);26static_assert(std::ranges::input_range<test_non_const_range<cpp20_input_iterator> >);27 28static_assert(!std::ranges::input_range<test_non_const_range<cpp17_input_iterator> const>);29static_assert(!std::ranges::input_range<test_non_const_range<cpp20_input_iterator> const>);30 31static_assert(std::ranges::input_range<test_common_range<forward_iterator> >);32static_assert(!std::ranges::input_range<test_common_range<cpp20_input_iterator> >);33 34static_assert(std::ranges::input_range<test_common_range<forward_iterator> const>);35static_assert(!std::ranges::input_range<test_common_range<cpp20_input_iterator> const>);36 37static_assert(std::ranges::input_range<test_non_const_common_range<forward_iterator> >);38static_assert(!std::ranges::input_range<test_non_const_common_range<cpp20_input_iterator> >);39 40static_assert(!std::ranges::input_range<test_non_const_common_range<forward_iterator> const>);41static_assert(!std::ranges::input_range<test_non_const_common_range<cpp20_input_iterator> const>);42 43// Test ADL-proofing.44struct Incomplete;45template<class T> struct Holder { T t; };46 47static_assert(!std::ranges::input_range<Holder<Incomplete>*>);48static_assert(!std::ranges::input_range<Holder<Incomplete>*&>);49static_assert(!std::ranges::input_range<Holder<Incomplete>*&&>);50static_assert(!std::ranges::input_range<Holder<Incomplete>* const>);51static_assert(!std::ranges::input_range<Holder<Incomplete>* const&>);52static_assert(!std::ranges::input_range<Holder<Incomplete>* const&&>);53 54static_assert( std::ranges::input_range<Holder<Incomplete>*[10]>);55static_assert( std::ranges::input_range<Holder<Incomplete>*(&)[10]>);56static_assert( std::ranges::input_range<Holder<Incomplete>*(&&)[10]>);57static_assert( std::ranges::input_range<Holder<Incomplete>* const[10]>);58static_assert( std::ranges::input_range<Holder<Incomplete>* const(&)[10]>);59static_assert( std::ranges::input_range<Holder<Incomplete>* const(&&)[10]>);60