Implement P2505R5 Monadic Functions For std::expected

stl/inc/yvals_core.h

@@ -347,6 +347,7 @@
 // P2474R2 views::repeat
 // P2494R2 Relaxing Range Adaptors To Allow Move-Only Types
 // P2499R0 string_view Range Constructor Should Be explicit
+// P2505R5 Monadic Functions For expected
 // P2549R1 unexpected<E>::error()
 // P2602R2 Poison Pills Are Too Toxic
 
@@ -1679,7 +1680,7 @@ _EMIT_STL_ERROR(STL1004, "C++98 unexpected() is incompatible with C++23 unexpect
 
 #ifdef __cpp_lib_concepts
 #define __cpp_lib_containers_ranges 202202L
-#define __cpp_lib_expected          202202L
+#define __cpp_lib_expected          202211L
 #endif // __cpp_lib_concepts
 
 #define __cpp_lib_forward_like   202207L

tests/libcxx/expected_results.txt

@@ -82,6 +82,9 @@ std/utilities/utility/mem.res/mem.res.pool/mem.res.pool.mem/unsync_deallocate_ma
 # Too many constexpr operations
 std/utilities/charconv/charconv.to.chars/integral.pass.cpp FAIL
 
+# libc++ has not implemented P2505R5: "Monadic Functions for std::expected"
+std/language.support/support.limits/support.limits.general/expected.version.compile.pass.cpp FAIL
+
 
 # *** INTERACTIONS WITH CONTEST / C1XX THAT UPSTREAM LIKELY WON'T FIX ***
 # Tracked by VSO-593630 "<filesystem> Enable libcxx filesystem tests"

tests/libcxx/skipped_tests.txt

@@ -82,6 +82,9 @@ utilities\utility\mem.res\mem.res.pool\mem.res.pool.mem\unsync_deallocate_matche
 # Too many constexpr operations
 utilities\charconv\charconv.to.chars\integral.pass.cpp
 
+# libc++ has not implemented P2505R5: "Monadic Functions for std::expected"
+language.support\support.limits\support.limits.general\expected.version.compile.pass.cpp
+
 
 # *** INTERACTIONS WITH CONTEST / C1XX THAT UPSTREAM LIKELY WON'T FIX ***
 # Tracked by VSO-593630 "<filesystem> Enable libcxx filesystem tests"

tests/std/test.lst

@@ -590,6 +590,7 @@ tests\P2467R1_exclusive_mode_fstreams
 tests\P2474R2_views_repeat
 tests\P2474R2_views_repeat_death
 tests\P2494R2_move_only_range_adaptors
+tests\P2505R5_monadic_functions_for_std_expected
 tests\P2517R1_apply_conditional_noexcept
 tests\VSO_0000000_allocator_propagation
 tests\VSO_0000000_any_calling_conventions

tests/std/tests/P2505R5_monadic_functions_for_std_expected/env.lst

@@ -0,0 +1,4 @@
+# Copyright (c) Microsoft Corporation.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+RUNALL_INCLUDE ..\concepts_latest_matrix.lst