xref: /llvm-project/libcxx/test/std/utilities/optional/iterator_concept_conformance.compile.pass.cpp (revision d2baefae6846765eef6a6dd69d4fdf1082ce29ad)
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 // optional
12 
13 #include <optional>
14 
15 #include <iterator>
16 
17 static_assert(!std::indirectly_readable<std::optional<int> >);
18 static_assert(!std::indirectly_writable<std::optional<int>, int>);
19 static_assert(!std::weakly_incrementable<std::optional<int> >);
20 static_assert(!std::indirectly_movable<std::optional<int>, std::optional<int>>);
21 static_assert(!std::indirectly_movable_storable<std::optional<int>, std::optional<int>>);
22 static_assert(!std::indirectly_copyable<std::optional<int>, std::optional<int>>);
23 static_assert(!std::indirectly_copyable_storable<std::optional<int>, std::optional<int>>);
24