1*a8cf78c7SLouis Dionne //===----------------------------------------------------------------------===//
2*a8cf78c7SLouis Dionne //
3*a8cf78c7SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*a8cf78c7SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5*a8cf78c7SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*a8cf78c7SLouis Dionne //
7*a8cf78c7SLouis Dionne //===----------------------------------------------------------------------===//
8*a8cf78c7SLouis Dionne
9*a8cf78c7SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14, c++17
10*a8cf78c7SLouis Dionne
11*a8cf78c7SLouis Dionne // <span>
12*a8cf78c7SLouis Dionne
13*a8cf78c7SLouis Dionne // template<class ElementType, size_t Extent>
14*a8cf78c7SLouis Dionne // inline constexpr bool ranges::enable_borrowed_range<
15*a8cf78c7SLouis Dionne // span<ElementType, Extent>> = true;
16*a8cf78c7SLouis Dionne
17*a8cf78c7SLouis Dionne #include <span>
18*a8cf78c7SLouis Dionne
19*a8cf78c7SLouis Dionne #include "test_macros.h"
20*a8cf78c7SLouis Dionne
test()21*a8cf78c7SLouis Dionne void test() {
22*a8cf78c7SLouis Dionne static_assert(std::ranges::enable_borrowed_range<std::span<int, 0> >);
23*a8cf78c7SLouis Dionne static_assert(std::ranges::enable_borrowed_range<std::span<int, 42> >);
24*a8cf78c7SLouis Dionne static_assert(std::ranges::enable_borrowed_range<std::span<int, std::dynamic_extent> >);
25*a8cf78c7SLouis Dionne static_assert(!std::ranges::enable_borrowed_range<std::span<int, 42>&>);
26*a8cf78c7SLouis Dionne static_assert(!std::ranges::enable_borrowed_range<std::span<int, 42> const>);
27*a8cf78c7SLouis Dionne }
28