From d29ad7fbf9b15d8daf1ad65c88d23e71203adb62 Mon Sep 17 00:00:00 2001
From: Luc Grosheintz <luc.grosheintz@gmail.com>
Date: Wed, 25 Jun 2025 07:19:40 +0200
Subject: [PATCH] [mdspan.layout.leftpad.cons] Add \expected.

The description of

    template<class LayoutLeftPaddedMapping>
      constexpr explicit(see below )
        mapping(const LayoutLeftPaddedMapping& other);

didn't separate Mandates and Preconditions. This commit adds an
\expects to separate the two.
---
 source/containers.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/containers.tex b/source/containers.tex
index e4862ea84d..a8608e65f5 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -23354,6 +23354,7 @@
 is \tcode{true}.
 
 \pnum
+\expects
 \begin{itemize}
 \item
 If \exposid{rank_} is greater than 1 and