From e2d56a28114b87b5397550025bb533aa75e8147d Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Mon, 15 Jun 2026 18:10:35 +0800
Subject: [PATCH] [views] Don't treat `maybe-static-ext` as an exposition-only
 concept

---
 source/containers.tex | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/source/containers.tex b/source/containers.tex
index 2a1ae6fa53..cd7efa59e8 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -20432,9 +20432,9 @@
       @\exposconcept{constexpr-wrapper-like}@<T>;
 
   template<class T>
-    constexpr size_t @\defexposconcept{maybe-static-ext}@ = dynamic_extent; // \expos
+    constexpr size_t @\exposid{maybe-static-ext}@ = dynamic_extent; // \expos
   template<@\exposconcept{integral-constant-like}@ T>
-    constexpr size_t @\exposconcept{maybe-static-ext}@<T> = {T::value};
+    constexpr size_t @\exposid{maybe-static-ext}@<T> = {T::value};
 
   // \ref{views.span}, class template \tcode{span}
   template<class ElementType, size_t Extent = dynamic_extent>
@@ -20551,7 +20551,7 @@
 
   template<class It, class EndOrSize>
     span(It, EndOrSize) -> span<remove_reference_t<iter_reference_t<It>>,
-                                @\exposconcept{maybe-static-ext}@<EndOrSize>>;
+                                @\exposid{maybe-static-ext}@<EndOrSize>>;
   template<class T, size_t N>
     span(T (&)[N]) -> span<T, N>;
   template<class T, size_t N>
@@ -20831,7 +20831,7 @@
 \begin{itemdecl}
 template<class It, class EndOrSize>
   span(It, EndOrSize) -> span<remove_reference_t<iter_reference_t<It>>,
-                              @\exposconcept{maybe-static-ext}@<EndOrSize>>;
+                              @\exposid{maybe-static-ext}@<EndOrSize>>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -21668,7 +21668,7 @@
 
 \pnum
 \remarks
-The deduced type is \tcode{extents<size_t, \exposconcept{maybe-static-ext}<Integrals>...>}.
+The deduced type is \tcode{extents<size_t, \exposid{maybe-static-ext}<Integrals>...>}.
 \end{itemdescr}
 
 \rSec4[mdspan.extents.obs]{Observers of the multidimensional index space}
@@ -25048,7 +25048,7 @@
   template<class ElementType, class... Integrals>
     requires ((is_convertible_v<Integrals, size_t> && ...) && sizeof...(Integrals) > 0)
     explicit mdspan(ElementType*, Integrals...)
-      -> mdspan<ElementType, extents<size_t, @\exposconcept{maybe-static-ext}@<Integrals>...>>;
+      -> mdspan<ElementType, extents<size_t, @\exposid{maybe-static-ext}@<Integrals>...>>;
 
   template<class ElementType, class OtherIndexType, size_t N>
     mdspan(ElementType*, span<OtherIndexType, N>)