From 0d33beaac8d28967f6f1ac4d95f56b965ae29346 Mon Sep 17 00:00:00 2001 From: Christian Trott Date: Tue, 31 Jan 2023 15:59:45 -0700 Subject: [PATCH] Fix issue in layout_left/right conversion constructors The precondition was erroneously referring to the not yet constructed extents instead of other.extents(). Note that the extents of the to be constructed layout will be initialized with other.extents - i.e. after construction they will return the same value for the fwd-prod-of-extents etc. --- source/containers.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/containers.tex b/source/containers.tex index 7f199142f6..00bde7ccab 100644 --- a/source/containers.tex +++ b/source/containers.tex @@ -19215,7 +19215,7 @@ If \tcode{extents_type::rank() > 0} is \tcode{true}, then for all $r$ in the range $[0, \tcode{extents_type::rank()})$, \tcode{other.stride($r$)} equals -\tcode{extents().\exposid{fwd-prod-of-extents}($r$)}, and +\tcode{other.extents().\exposid{fwd-prod-of-extents}($r$)}, and \item \tcode{other.required_span_size()} is representable as a value of type \tcode{index_type}\iref{basic.fundamental}. @@ -19467,7 +19467,7 @@ If \tcode{extents_type::rank() > 0} is \tcode{true}, then for all $r$ in the range $[0, \tcode{extents_type::rank()})$, \tcode{other.stride($r$)} equals -\tcode{extents().\exposid{rev-prod-of-extents}($r$)}. +\tcode{other.extents().\exposid{rev-prod-of-extents}($r$)}. \item \tcode{other.required_span_size()} is representable as a value of type \tcode{index_type}\iref{basic.fundamental}.