[libcxx-commits] [libcxx] [libc++] P3029R1: Better `mdspan`'s CTAD - `std::extents` (PR #89015)

[Xiaoyang Liu via libcxx-commits]

================
@@ -13,10 +13,12 @@
 // explicit extents(Integrals...) -> see below;
 //   Constraints: (is_convertible_v<Integrals, size_t> && ...) is true.
 //
-// Remarks: The deduced type is dextents<size_t, sizeof...(Integrals)>.
+// Remarks: The deduced type is dextents<size_t, sizeof...(Integrals)>.           // until C++26
+// Remarks: The deduced type is extents<size_t, maybe-static-ext<Integrals>...>.  // since C++26
----------------
xiaoyang-sde wrote:

I think the deduced type can be written as either `dextents<size_t, sizeof...(Integrals)>` or `extents<size_t, dynamic_extent, dynamic_extent, ..., dynamic_extent>`, where `dynamic_extent` is repeated a total of `sizeof...(Integrals)` times.

https://github.com/llvm/llvm-project/pull/89015