21 static_assert(std::is_trivially_copyable<Optional<int>>::value,
24 static_assert(std::is_trivially_copyable<Optional<std::array<int, 3>>>::value,
28   constexpr auto x1 = Optional<int>();  in OptionalWorksInConstexpr()
29   constexpr Optional<int> x2{};  in OptionalWorksInConstexpr()
34   constexpr auto y1 = Optional<int>(3);  in OptionalWorksInConstexpr()
35   constexpr Optional<int> y2{3};  in OptionalWorksInConstexpr()
40   static_assert(Optional<int>{3} >= 2 && Optional<int>{1} < Optional<int>{2},  in OptionalWorksInConstexpr()
74     !std::is_trivially_copyable<Optional<NonDefaultConstructible>>::value,
78   Optional<NonDefaultConstructible> O;  in TEST()
84   Optional<NonDefaultConstructible> O(NonDefaultConstructible(3));  in TEST()
97   Optional<NonDefaultConstructible>(NonDefaultConstructible(3));  in TEST()
106     Optional<NonDefaultConstructible> A(NonDefaultConstructible(3));  in TEST()
111     Optional<NonDefaultConstructible> B(A);  in TEST()
125     Optional<NonDefaultConstructible> A(NonDefaultConstructible(3));  in TEST()
126     Optional<NonDefaultConstructible> B;  in TEST()
145     Optional<NonDefaultConstructible> A(NonDefaultConstructible(3));  in TEST()
146     Optional<NonDefaultConstructible> B(NonDefaultConstructible(4));  in TEST()
165     Optional<NonDefaultConstructible> A;  in TEST()
166     Optional<NonDefaultConstructible> B(NonDefaultConstructible(3));  in TEST()
185     Optional<NonDefaultConstructible> A;  in TEST()
186     Optional<NonDefaultConstructible> B;  in TEST()
204   { Optional<NonDefaultConstructible> A{in_place, 1}; }  in TEST()
211   Optional<int> A;  in TEST()
244 static_assert(!std::is_trivially_copyable<Optional<MultiArgConstructor>>::value,
249   Optional<MultiArgConstructor> A;  in TEST()
269     Optional<MultiArgConstructor> A{in_place, 1, 2};  in TEST()
274     Optional<MultiArgConstructor> B{in_place, 5, false};  in TEST()
287     Optional<MultiArgConstructor> A{in_place, 1, 2};  in TEST()
288     Optional<MultiArgConstructor> B;  in TEST()
326 static_assert(!std::is_trivially_copyable<Optional<MoveOnly>>::value,
331   Optional<MoveOnly> O;  in TEST()
339   Optional<MoveOnly> O(MoveOnly(3));  in TEST()
348   Optional<MoveOnly> A(MoveOnly(3));  in TEST()
350   Optional<MoveOnly> B(std::move(A));  in TEST()
361   Optional<MoveOnly> O;  in TEST()
371   Optional<MoveOnly> A(MoveOnly(3));  in TEST()
372   Optional<MoveOnly> B;  in TEST()
384   Optional<MoveOnly> A;  in TEST()
385   Optional<MoveOnly> B(MoveOnly(3));  in TEST()
396   Optional<MoveOnly> A(MoveOnly(3));  in TEST()
397   Optional<MoveOnly> B(MoveOnly(4));  in TEST()
430 static_assert(!std::is_trivially_copyable<Optional<Immovable>>::value,
434   Optional<Immovable> A;  in TEST()
445   Optional<Immovable> A{in_place, 4};  in TEST()
487   using NonTCopyOptT = Optional<NonTCopy>;  in TEST()
535   using NonTAssignOptT = Optional<NonTAssign>;  in TEST()
560   using NoTMoveOptT = Optional<NoTMove>;  in TEST()
586   Optional<NoCopyStringMap> TestInstantiation;  in TEST()
590   Optional<MoveOnly> A;  in TEST()
643 void CheckRelation(const Optional<T> &Lhs, const Optional<T> &Rhs,  in CheckRelation()
659 const Optional<EqualityMock> NoneEq, EqualityLhs((EqualityMock())),
692 const Optional<InequalityMock> NoneIneq, InequalityLhs((InequalityMock())),
756   static Optional<ComparableAndStreamable> get() {  in get()
762   auto to_string = [](Optional<ComparableAndStreamable> O) {  in TEST()
777   static Optional<Comparable> get() { return Comparable(); }  in get()
797   Optional<bool> B, B0 = false, B1 = true;  in TEST()
803   Optional<int> I, I0 = 0, I1 = 1;  in TEST()
815   Optional<MoveOnly> MO;
819   Optional<NotTriviallyCopyable> V;  in TEST()