Implement P2441R2 views::join_with

stl/inc/yvals_core.h

@@ -302,6 +302,7 @@
 // P2166R1 Prohibiting basic_string And basic_string_view Construction From nullptr
 // P2186R2 Removing Garbage Collection Support
 // P2273R3 constexpr unique_ptr
+// P2441R2 views::join_with
 // P2443R1 views::chunk_by
 
 // Parallel Algorithms Notes
@@ -1379,6 +1380,7 @@
 #ifdef __cpp_lib_concepts
 #define __cpp_lib_out_ptr                 202106L
 #define __cpp_lib_ranges_chunk_by         202202L
+#define __cpp_lib_ranges_join_with        202202L
 #define __cpp_lib_ranges_starts_ends_with 202106L
 #endif // __cpp_lib_concepts
 

tests/std/test.lst

@@ -468,6 +468,7 @@ tests\P2231R1_complete_constexpr_optional_variant
 tests\P2273R3_constexpr_unique_ptr
 tests\P2401R0_conditional_noexcept_for_exchange
 tests\P2415R2_owning_view
+tests\P2441R2_views_join_with
 tests\P2443R1_views_chunk_by
 tests\P2443R1_views_chunk_by_death
 tests\VSO_0000000_allocator_propagation

tests/std/tests/P2441R2_views_join_with/env.lst

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

tests/std/tests/VSO_0157762_feature_test_macros/test.compile.pass.cpp

@@ -1366,6 +1366,20 @@ STATIC_ASSERT(__cpp_lib_ranges_chunk_by == 202202L);
 #endif
 #endif
 
+#if _HAS_CXX23 && !defined(__EDG__) // TRANSITION, EDG concepts support
+#ifndef __cpp_lib_ranges_join_with
+#error __cpp_lib_ranges_join_with is not defined
+#elif __cpp_lib_ranges_join_with != 202202L
+#error __cpp_lib_ranges_join_with is not 202202L
+#else
+STATIC_ASSERT(__cpp_lib_ranges_join_with == 202202L);
+#endif
+#else
+#ifdef __cpp_lib_ranges_join_with
+#error __cpp_lib_ranges_join_with is defined
+#endif
+#endif
+
 #if _HAS_CXX23 && !defined(__EDG__) // TRANSITION, EDG concepts support
 #ifndef __cpp_lib_ranges_starts_ends_with
 #error __cpp_lib_ranges_starts_ends_with is not defined