From 69423f5875a24451f70874a329705c4d4316411d Mon Sep 17 00:00:00 2001
From: Abhinav Agarwal <abhinavagarwal1996@gmail.com>
Date: Sun, 26 Apr 2026 16:10:17 -0700
Subject: [PATCH] [mdspan.sub.sub] Fix submdspan slice canonicalization

Two integration errors in the Let clause introduced by P3663R3:
- the function parameter pack is named "slices", but the Let clause
  references an undefined "raw_slices"; rename the parameter to match
  subextents (mdspan.sub.extents);
- src is an mdspan but canonical_slices takes an extents object;
  pass src.extents() instead of src.
---
 source/containers.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/source/containers.tex b/source/containers.tex
index 43f506d21e..fb72588742 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -21297,7 +21297,7 @@
            class AccessorPolicy, class... SliceSpecifiers>
     constexpr auto submdspan(
       const mdspan<ElementType, Extents, LayoutPolicy, AccessorPolicy>& src,
-      SliceSpecifiers... slices) -> @\seebelow@;
+      SliceSpecifiers... raw_slices) -> @\seebelow@;
 
   template<class T, class IndexType>
     concept @\defexposconcept{index-pair-like}@ =               // \expos
@@ -26579,7 +26579,7 @@
          class AccessorPolicy, class... SliceSpecifiers>
   constexpr auto submdspan(
     const mdspan<ElementType, Extents, LayoutPolicy, AccessorPolicy>& src,
-    SliceSpecifiers... slices) -> @\seebelow@;
+    SliceSpecifiers... raw_slices) -> @\seebelow@;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -26589,7 +26589,7 @@
 \pnum
 Let \tcode{slices} be the pack introduced by the following declaration:
 \begin{codeblock}
-auto [...slices] = canonical_slices(src, raw_slices...);
+auto [...slices] = canonical_slices(src.extents(), raw_slices...);
 \end{codeblock}
 
 \pnum