15a3309f8SChristopher Di Bella //===----------------------------------------------------------------------===// 25a3309f8SChristopher Di Bella // 35a3309f8SChristopher Di Bella // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 45a3309f8SChristopher Di Bella // See https://llvm.org/LICENSE.txt for license information. 55a3309f8SChristopher Di Bella // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65a3309f8SChristopher Di Bella // 75a3309f8SChristopher Di Bella //===----------------------------------------------------------------------===// 85a3309f8SChristopher Di Bella 95a3309f8SChristopher Di Bella // UNSUPPORTED: c++03, c++11, c++14, c++17 1071909de3SMark de Wever // UNSUPPORTED: libcpp-has-no-incomplete-ranges 115a3309f8SChristopher Di Bella 125a3309f8SChristopher Di Bella // array 135a3309f8SChristopher Di Bella 145a3309f8SChristopher Di Bella #include <array> 155a3309f8SChristopher Di Bella 165a3309f8SChristopher Di Bella #include <concepts> 175a3309f8SChristopher Di Bella #include <ranges> 185a3309f8SChristopher Di Bella 195a3309f8SChristopher Di Bella using range = std::array<int, 10>; 205a3309f8SChristopher Di Bella 216ffc41b0Szoecarver 229d7c420aSLouis Dionne static_assert(!std::ranges::view<range>); 239d7c420aSLouis Dionne static_assert(std::same_as<std::ranges::iterator_t<range>, range::iterator>); 249d7c420aSLouis Dionne static_assert(std::ranges::common_range<range>); 259d7c420aSLouis Dionne static_assert(std::ranges::random_access_range<range>); 269d7c420aSLouis Dionne static_assert(std::ranges::contiguous_range<range>); 279d7c420aSLouis Dionne static_assert(std::ranges::sized_range<range>); 289d7c420aSLouis Dionne static_assert(!std::ranges::borrowed_range<range>); 29*67151d02SArthur O'Dwyer static_assert(std::ranges::viewable_range<range>); 309d7c420aSLouis Dionne 319d7c420aSLouis Dionne static_assert(!std::ranges::view<range const>); 329d7c420aSLouis Dionne static_assert(std::same_as<std::ranges::iterator_t<range const>, range::const_iterator>); 339d7c420aSLouis Dionne static_assert(std::ranges::common_range<range const>); 349d7c420aSLouis Dionne static_assert(std::ranges::random_access_range<range const>); 359d7c420aSLouis Dionne static_assert(std::ranges::contiguous_range<range const>); 369d7c420aSLouis Dionne static_assert(std::ranges::sized_range<range const>); 379d7c420aSLouis Dionne static_assert(!std::ranges::borrowed_range<range const>); 389d7c420aSLouis Dionne static_assert(!std::ranges::viewable_range<range const>); 39