[mdspan.layout.leftpad.cons] Add \expected.

1uc · tkoeppe · commit a5b2951c9755 · 2025-07-17T14:04:33.000+01:00
The description of

    template&lt;class LayoutLeftPaddedMapping&gt;
      constexpr explicit(see below )
        mapping(const LayoutLeftPaddedMapping&amp; other);

didn't separate Mandates and Preconditions. This commit adds an
\expects to separate the two.
diff --git a/source/containers.tex b/source/containers.tex
@@ -23361,6 +23361,7 @@
 is \tcode{true}.
 
 \pnum
+\expects
 \begin{itemize}
 \item
 If \exposid{rank_} is greater than 1 and
