From aa3ab8e18eea9aae92dff4e1657dd396bd2185c1 Mon Sep 17 00:00:00 2001 From: Abhinav Agarwal Date: Sun, 26 Apr 2026 16:10:54 -0700 Subject: [PATCH] [mdspan.sub.map.sliceable] Use lm in sliceable-mapping concept body The concept body introduces lm (an object of type LayoutMapping) but then uses m (an object of type M from the surrounding requirements section) in the submdspan_mapping well-formedness check. --- source/containers.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/containers.tex b/source/containers.tex index 43f506d21e..294ce44d7b 100644 --- a/source/containers.tex +++ b/source/containers.tex @@ -26173,7 +26173,7 @@ A type \tcode{LayoutMapping} satisfies \exposconcept{sliceable-mapping} if \begin{itemize} \item - the expression \tcode{submdspan_mapping(m, fe...)} is well-formed + the expression \tcode{submdspan_mapping(lm, fe...)} is well-formed when treated as an unevaluated operand, and \item the type of that expression is a specialization of