summaryrefslogtreecommitdiff
path: root/libcxx/test/std/utilities/expected/expected.expected/monadic/or_else.pass.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'libcxx/test/std/utilities/expected/expected.expected/monadic/or_else.pass.cpp')
-rw-r--r--libcxx/test/std/utilities/expected/expected.expected/monadic/or_else.pass.cpp202
1 files changed, 0 insertions, 202 deletions
diff --git a/libcxx/test/std/utilities/expected/expected.expected/monadic/or_else.pass.cpp b/libcxx/test/std/utilities/expected/expected.expected/monadic/or_else.pass.cpp
deleted file mode 100644
index bf5b481a158a..000000000000
--- a/libcxx/test/std/utilities/expected/expected.expected/monadic/or_else.pass.cpp
+++ /dev/null
@@ -1,202 +0,0 @@
-//===----------------------------------------------------------------------===//
-//
-// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
-// See https://llvm.org/LICENSE.txt for license information.
-// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
-//
-//===----------------------------------------------------------------------===//
-
-// UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
-
-// <expected>
-
-// template<class F> constexpr auto or_else(F&& f) &;
-// template<class F> constexpr auto or_else(F&& f) const &;
-// template<class F> constexpr auto or_else(F&& f) &&;
-// template<class F> constexpr auto or_else(F&& f) const &&;
-
-#include <cassert>
-#include <concepts>
-#include <expected>
-#include <memory>
-#include <type_traits>
-#include <utility>
-
-struct LVal {
- constexpr std::expected<int, int> operator()(int&) { return 1; }
- std::expected<int, int> operator()(const int&) = delete;
- std::expected<int, int> operator()(int&&) = delete;
- std::expected<int, int> operator()(const int&&) = delete;
-};
-
-struct CLVal {
- std::expected<int, int> operator()(int&) = delete;
- constexpr std::expected<int, int> operator()(const int&) { return 1; }
- std::expected<int, int> operator()(int&&) = delete;
- std::expected<int, int> operator()(const int&&) = delete;
-};
-
-struct RVal {
- std::expected<int, int> operator()(int&) = delete;
- std::expected<int, int> operator()(const int&) = delete;
- constexpr std::expected<int, int> operator()(int&&) { return 1; }
- std::expected<int, int> operator()(const int&&) = delete;
-};
-
-struct CRVal {
- std::expected<int, int> operator()(int&) = delete;
- std::expected<int, int> operator()(const int&) = delete;
- std::expected<int, int> operator()(int&&) = delete;
- constexpr std::expected<int, int> operator()(const int&&) { return 1; }
-};
-
-struct RefQual {
- constexpr std::expected<int, int> operator()(int) & { return 1; }
- std::expected<int, int> operator()(int) const& = delete;
- std::expected<int, int> operator()(int) && = delete;
- std::expected<int, int> operator()(int) const&& = delete;
-};
-
-struct CRefQual {
- std::expected<int, int> operator()(int) & = delete;
- constexpr std::expected<int, int> operator()(int) const& { return 1; }
- std::expected<int, int> operator()(int) && = delete;
- std::expected<int, int> operator()(int) const&& = delete;
-};
-
-struct RVRefQual {
- std::expected<int, int> operator()(int) & = delete;
- std::expected<int, int> operator()(int) const& = delete;
- constexpr std::expected<int, int> operator()(int) && { return 1; }
- std::expected<int, int> operator()(int) const&& = delete;
-};
-
-struct RVCRefQual {
- std::expected<int, int> operator()(int) & = delete;
- std::expected<int, int> operator()(int) const& = delete;
- std::expected<int, int> operator()(int) && = delete;
- constexpr std::expected<int, int> operator()(int) const&& { return 1; }
-};
-
-template <class E, class F>
-concept has_or_else =
- requires(E&& e, F&& f) {
- { std::forward<E>(e).or_else(std::forward<F>(f)) };
- };
-
-// [LWG 3877] https://cplusplus.github.io/LWG/issue3877, check constraint failing but not compile error inside the function body.
-static_assert(!has_or_else<const std::expected<std::unique_ptr<int>, int>&, int()>);
-static_assert(!has_or_else<const std::expected<std::unique_ptr<int>, int>&&, int()>);
-
-// clang-format off
-constexpr void test_val_types() {
- // Test & overload
- {
- // Without & qualifier on F's operator()
- {
- std::expected<int, int> e(std::unexpected<int>(0));
- std::same_as<std::expected<int, int>> decltype(auto) val = e.or_else(LVal{});
- assert(val == 1);
- }
-
- // With & qualifier on F's operator
- {
- std::expected<int, int> e(std::unexpected<int>(0));
- RefQual l{};
- std::same_as<std::expected<int, int>> decltype(auto) val = e.or_else(l);
- assert(val == 1);
- }
- }
-
- // Test const& overload
- {
- // Without const& qualifier on F's operator()
- {
- const std::expected<int, int> e(std::unexpected<int>(0));
- std::same_as<std::expected<int, int>> decltype(auto) val = e.or_else(CLVal{});
- assert(val == 1);
- }
-
- // With const& qualifier on F's operator()
- {
- const std::expected<int, int> e(std::unexpected<int>(0));
- const CRefQual l{};
- std::same_as<std::expected<int, int>> decltype(auto) val = e.or_else(l);
- assert(val == 1);
- }
- }
-
- // Test && overload
- {
- // Without && qualifier on F's operator()
- {
- std::expected<int, int> e(std::unexpected<int>(0));
- std::same_as<std::expected<int, int>> decltype(auto) val = std::move(e).or_else(RVal{});
- assert(val == 1);
- }
-
- // With && qualifier on F's operator()
- {
- std::expected<int, int> e(std::unexpected<int>(0));
- std::same_as<std::expected<int, int>> decltype(auto) val = std::move(e).or_else(RVRefQual{});
- assert(val == 1);
- }
- }
-
- // Test const&& overload
- {
- // Without const&& qualifier on F's operator()
- {
- const std::expected<int, int> e(std::unexpected<int>(0));
- std::same_as<std::expected<int, int>> decltype(auto) val = std::move(e).or_else(CRVal{});
- assert(val == 1);
- }
-
- // With const&& qualifier on F's operator()
- {
- const std::expected<int, int> e(std::unexpected<int>(0));
- const RVCRefQual l{};
- std::same_as<std::expected<int, int>> decltype(auto) val = std::move(e).or_else(std::move(l));
- assert(val == 1);
- }
- }
-}
-// clang-format on
-
-struct NonConst {
- std::expected<int, int> non_const() { return std::expected<int, int>(std::unexpect, 1); }
-};
-
-// check that the lambda body is not instantiated during overload resolution
-constexpr void test_sfinae() {
- std::expected<int, NonConst> e{1};
- auto l = [](auto&& x) { return x.non_const(); };
- e.or_else(l);
- std::move(e).or_else(l);
-}
-
-constexpr bool test() {
- test_sfinae();
- test_val_types();
-
- std::expected<int, int> e(1);
- const auto& ce = e;
-
- const auto never_called = [](int) {
- assert(false);
- return std::expected<int, int>();
- };
-
- e.or_else(never_called);
- std::move(e).or_else(never_called);
- ce.or_else(never_called);
- std::move(ce).or_else(never_called);
- return true;
-}
-
-int main(int, char**) {
- test();
- static_assert(test());
-
- return 0;
-}