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