P2374R4: views::cartesian_product

stl/inc/yvals_core.h

@@ -340,6 +340,7 @@
 // P2302R4 ranges::contains, ranges::contains_subrange
 // P2321R2 zip
 // P2322R6 ranges::fold_left, ranges::fold_right, Etc.
+// P2374R4 views::cartesian_product
 // P2387R3 Pipe Support For User-Defined Range Adaptors
 // P2404R3 Move-Only Types For Comparison Concepts
 // P2417R2 More constexpr bitset
@@ -357,6 +358,7 @@
 // P2499R0 string_view Range Constructor Should Be explicit
 // P2505R5 Monadic Functions For expected
 // P2539R4 Synchronizing print() With The Underlying Stream
+// P2540R1 Empty Product For Certain Views
 // P2549R1 unexpected<E>::error()
 // P2652R2 Disallowing User Specialization Of allocator_traits
 
@@ -1719,24 +1721,25 @@ _EMIT_STL_ERROR(STL1004, "C++98 unexpected() is incompatible with C++23 unexpect
 #define __cpp_lib_move_only_function 202110L
 
 #ifdef __cpp_lib_concepts
-#define __cpp_lib_out_ptr                 202106L
-#define __cpp_lib_print                   202207L
-#define __cpp_lib_ranges_as_const         202207L
-#define __cpp_lib_ranges_as_rvalue        202207L
-#define __cpp_lib_ranges_chunk            202202L
-#define __cpp_lib_ranges_chunk_by         202202L
-#define __cpp_lib_ranges_contains         202207L
-#define __cpp_lib_ranges_enumerate        202302L
-#define __cpp_lib_ranges_find_last        202207L
-#define __cpp_lib_ranges_fold             202207L
-#define __cpp_lib_ranges_iota             202202L
-#define __cpp_lib_ranges_join_with        202202L
-#define __cpp_lib_ranges_repeat           202207L
-#define __cpp_lib_ranges_slide            202202L
-#define __cpp_lib_ranges_starts_ends_with 202106L
-#define __cpp_lib_ranges_stride           202207L
-#define __cpp_lib_ranges_to_container     202202L
-#define __cpp_lib_ranges_zip              202110L
+#define __cpp_lib_out_ptr                  202106L
+#define __cpp_lib_print                    202207L
+#define __cpp_lib_ranges_as_const          202207L
+#define __cpp_lib_ranges_as_rvalue         202207L
+#define __cpp_lib_ranges_cartesian_product 202207L
+#define __cpp_lib_ranges_chunk             202202L
+#define __cpp_lib_ranges_chunk_by          202202L
+#define __cpp_lib_ranges_contains          202207L
+#define __cpp_lib_ranges_enumerate         202302L
+#define __cpp_lib_ranges_find_last         202207L
+#define __cpp_lib_ranges_fold              202207L
+#define __cpp_lib_ranges_iota              202202L
+#define __cpp_lib_ranges_join_with         202202L
+#define __cpp_lib_ranges_repeat            202207L
+#define __cpp_lib_ranges_slide             202202L
+#define __cpp_lib_ranges_starts_ends_with  202106L
+#define __cpp_lib_ranges_stride            202207L
+#define __cpp_lib_ranges_to_container      202202L
+#define __cpp_lib_ranges_zip               202110L
 #endif // __cpp_lib_concepts
 
 #define __cpp_lib_spanstream                  202106L

tests/std/test.lst

@@ -576,6 +576,8 @@ tests\P2321R2_views_adjacent_transform
 tests\P2321R2_views_zip
 tests\P2321R2_views_zip_transform
 tests\P2322R6_ranges_alg_fold
+tests\P2374R4_views_cartesian_product
+tests\P2374R4_views_cartesian_product_death
 tests\P2387R3_bind_back
 tests\P2387R3_pipe_support_for_user_defined_range_adaptors
 tests\P2401R0_conditional_noexcept_for_exchange

tests/std/tests/P2374R4_views_cartesian_product/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