From 7b9c9579a2123ce48405eaf4f588d3c4ab726773 Mon Sep 17 00:00:00 2001 From: Luc Grosheintz Date: Thu, 4 Sep 2025 15:49:24 +0200 Subject: [PATCH] Typo layout_left::mapping::mapping precondition. Here `other` is a layout mapping and layout mappings don't have this API to access the `i`th extent. They only have `extents()` to get the std::extents object. See, https://github.com/cplusplus/draft/blob/fbd1a707daf2381067fa070a902e1743a12fa55f/source/containers.tex#L22446 for the analogous statement in layout_right. --- source/containers.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/containers.tex b/source/containers.tex index 337685a058..cb5ce07b8d 100644 --- a/source/containers.tex +++ b/source/containers.tex @@ -22117,7 +22117,7 @@ \begin{itemize} \item If \tcode{extents_type::rank() > 1} is \tcode{true}, -then \tcode{other.stride(1)} equals \tcode{other.extents(0)}. +then \tcode{other.stride(1)} equals \tcode{other.extents().extent(0)}. \item \tcode{other.required_span_size()} is representable as a value of type \tcode{index_type}.