157ebf3d0SLouis Dionne //===----------------------------------------------------------------------===//
257ebf3d0SLouis Dionne //
357ebf3d0SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457ebf3d0SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
557ebf3d0SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
657ebf3d0SLouis Dionne //
757ebf3d0SLouis Dionne //===----------------------------------------------------------------------===//
857ebf3d0SLouis Dionne 
957ebf3d0SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14, c++17
1057ebf3d0SLouis Dionne 
11ab9a571aSArthur O'Dwyer // optional
1257ebf3d0SLouis Dionne 
1357ebf3d0SLouis Dionne #include <optional>
1457ebf3d0SLouis Dionne 
1557ebf3d0SLouis Dionne #include <iterator>
1657ebf3d0SLouis Dionne 
1757ebf3d0SLouis Dionne static_assert(!std::indirectly_readable<std::optional<int> >);
1857ebf3d0SLouis Dionne static_assert(!std::indirectly_writable<std::optional<int>, int>);
1922052860SChristopher Di Bella static_assert(!std::weakly_incrementable<std::optional<int> >);
20075f2370Szoecarver static_assert(!std::indirectly_movable<std::optional<int>, std::optional<int>>);
21075f2370Szoecarver static_assert(!std::indirectly_movable_storable<std::optional<int>, std::optional<int>>);
22*e65d3760SKonstantin Varlamov static_assert(!std::indirectly_copyable<std::optional<int>, std::optional<int>>);
23*e65d3760SKonstantin Varlamov static_assert(!std::indirectly_copyable_storable<std::optional<int>, std::optional<int>>);
24