[range.cache.latest] Add \libconcept for sized_range and sized_sentin…

…el_for
cplusplus · Dec 23, 2024 · 366b7ef · 366b7ef
1 parent 4c0a2fb
commit 366b7ef
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/source/ranges.tex b/source/ranges.tex
@@ -16834,8 +16834,8 @@
 
 \indexlibrarymember{size}{cache_latest_view}%
 \begin{itemdecl}
-constexpr auto size() requires sized_range<V>;
-constexpr auto size() const requires sized_range<const V>;
+constexpr auto size() requires @\libconcept{sized_range}@<V>;
+constexpr auto size() const requires @\libconcept{sized_range}@<const V>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -17017,9 +17017,9 @@
     friend constexpr bool operator==(const @\exposid{iterator}@& x, const @\exposid{sentinel}@& y);
 
     friend constexpr range_difference_t<V> operator-(const @\exposid{iterator}@& x, const @\exposid{sentinel}@& y)
-      requires sized_sentinel_for<sentinel_t<V>, iterator_t<V>>;
+      requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
     friend constexpr range_difference_t<V> operator-(const @\exposid{sentinel}@& x, const @\exposid{iterator}@& y)
-      requires sized_sentinel_for<sentinel_t<V>, iterator_t<V>>;
+      requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
   };
 }
 \end{codeblock}
@@ -17062,7 +17062,7 @@
 \indexlibrarymember{operator-}{cache_latest_view::\exposid{sentinel}}%
 \begin{itemdecl}
 friend constexpr range_difference_t<V> operator-(const @\exposid{iterator}@& x, const @\exposid{sentinel}@& y)
-  requires sized_sentinel_for<sentinel_t<V>, iterator_t<V>>;
+  requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -17075,7 +17075,7 @@
 \indexlibrarymember{operator-}{cache_latest_view::\exposid{sentinel}}%
 \begin{itemdecl}
 friend constexpr range_difference_t<V> operator-(const @\exposid{sentinel}@& x, const @\exposid{iterator}@& y)
-  requires sized_sentinel_for<sentinel_t<V>, iterator_t<V>>;
+  requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
 \end{itemdecl}
 
 \begin{itemdescr}