Skip to content

Commit 7b9c957

Browse files
authored
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.
1 parent fbd1a70 commit 7b9c957

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/containers.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22117,7 +22117,7 @@
2211722117
\begin{itemize}
2211822118
\item
2211922119
If \tcode{extents_type::rank() > 1} is \tcode{true},
22120-
then \tcode{other.stride(1)} equals \tcode{other.extents(0)}.
22120+
then \tcode{other.stride(1)} equals \tcode{other.extents().extent(0)}.
2212122121
\item
2212222122
\tcode{other.required_span_size()} is representable as
2212322123
a value of type \tcode{index_type}.

0 commit comments

Comments
 (0)