1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// <optional>
11
12// template <class T> constexpr bool operator>= (const optional<T>& x, const optional<T>& y);
13
14#include <experimental/optional>
15
16#if _LIBCPP_STD_VER > 11
17
18using std::experimental::optional;
19
20struct X
21{
22    int i_;
23
24    constexpr X(int i) : i_(i) {}
25};
26
27constexpr bool operator < ( const X &lhs, const X &rhs )
28    { return lhs.i_ < rhs.i_ ; }
29
30#endif
31
32int main()
33{
34#if _LIBCPP_STD_VER > 11
35    {
36    typedef optional<X> O;
37
38    constexpr O o1;     // disengaged
39    constexpr O o2;     // disengaged
40    constexpr O o3{1};  // engaged
41    constexpr O o4{2};  // engaged
42    constexpr O o5{1};  // engaged
43
44    static_assert (  (o1 >= o1), "" );
45    static_assert (  (o1 >= o2), "" );
46    static_assert ( !(o1 >= o3), "" );
47    static_assert ( !(o1 >= o4), "" );
48    static_assert ( !(o1 >= o5), "" );
49
50    static_assert (  (o2 >= o1), "" );
51    static_assert (  (o2 >= o2), "" );
52    static_assert ( !(o2 >= o3), "" );
53    static_assert ( !(o2 >= o4), "" );
54    static_assert ( !(o2 >= o5), "" );
55
56    static_assert (  (o3 >= o1), "" );
57    static_assert (  (o3 >= o2), "" );
58    static_assert (  (o3 >= o3), "" );
59    static_assert ( !(o3 >= o4), "" );
60    static_assert (  (o3 >= o5), "" );
61
62    static_assert (  (o4 >= o1), "" );
63    static_assert (  (o4 >= o2), "" );
64    static_assert (  (o4 >= o3), "" );
65    static_assert (  (o4 >= o4), "" );
66    static_assert (  (o4 >= o5), "" );
67
68    static_assert (  (o5 >= o1), "" );
69    static_assert (  (o5 >= o2), "" );
70    static_assert (  (o5 >= o3), "" );
71    static_assert ( !(o5 >= o4), "" );
72    static_assert (  (o5 >= o5), "" );
73    }
74#endif
75}
76