From 7992a8a900d60e6c2041bfa0b6ba7d86ec43e5f4 Mon Sep 17 00:00:00 2001
From: Luc Grosheintz <luc.grosheintz@gmail.com>
Date: Mon, 22 Sep 2025 16:35:18 +0200
Subject: [PATCH] [views.multidim] Fix template arguments for
 submdspan_extents.

The pack `Extents` must be a pack of `size_t` integers. This
typo is affects both [mdspan.syn] and [mdspan.sub.extents].
---
 source/containers.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/source/containers.tex b/source/containers.tex
index f8187b40a1..a0460ca4d6 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -21080,7 +21080,7 @@
   struct full_extent_t { explicit full_extent_t() = default; };
   inline constexpr full_extent_t full_extent{};
 
-  template<class IndexType, class... Extents, class... SliceSpecifiers>
+  template<class IndexType, size_t... Extents, class... SliceSpecifiers>
     constexpr auto submdspan_extents(const extents<IndexType, Extents...>&, SliceSpecifiers...);
 
   // \ref{mdspan.sub.sub}, \tcode{submdspan} function template
@@ -25500,7 +25500,7 @@
 
 \indexlibraryglobal{submdspan_extents}%
 \begin{itemdecl}
-template<class IndexType, class... Extents, class... SliceSpecifiers>
+template<class IndexType, size_t... Extents, class... SliceSpecifiers>
   constexpr auto submdspan_extents(const extents<IndexType, Extents...>& src,
                                    SliceSpecifiers... slices);
 \end{itemdecl}
@@ -25508,7 +25508,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-\tcode{sizeof...(slices)} equals \tcode{Extents::rank()}.
+\tcode{sizeof...(slices)} equals \tcode{sizeof...(Extents)}.
 
 \pnum
 \mandates