Skip to content

Commit 413cd34

Browse files
authored
[range.cache.latest] Add \libconcept for sized_range and sized_sentinel_for (#7513)
1 parent f5197a2 commit 413cd34

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

source/ranges.tex

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -16834,8 +16834,8 @@
1683416834

1683516835
\indexlibrarymember{size}{cache_latest_view}%
1683616836
\begin{itemdecl}
16837-
constexpr auto size() requires sized_range<V>;
16838-
constexpr auto size() const requires sized_range<const V>;
16837+
constexpr auto size() requires @\libconcept{sized_range}@<V>;
16838+
constexpr auto size() const requires @\libconcept{sized_range}@<const V>;
1683916839
\end{itemdecl}
1684016840

1684116841
\begin{itemdescr}
@@ -17017,9 +17017,9 @@
1701717017
friend constexpr bool operator==(const @\exposid{iterator}@& x, const @\exposid{sentinel}@& y);
1701817018

1701917019
friend constexpr range_difference_t<V> operator-(const @\exposid{iterator}@& x, const @\exposid{sentinel}@& y)
17020-
requires sized_sentinel_for<sentinel_t<V>, iterator_t<V>>;
17020+
requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
1702117021
friend constexpr range_difference_t<V> operator-(const @\exposid{sentinel}@& x, const @\exposid{iterator}@& y)
17022-
requires sized_sentinel_for<sentinel_t<V>, iterator_t<V>>;
17022+
requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
1702317023
};
1702417024
}
1702517025
\end{codeblock}
@@ -17062,7 +17062,7 @@
1706217062
\indexlibrarymember{operator-}{cache_latest_view::\exposid{sentinel}}%
1706317063
\begin{itemdecl}
1706417064
friend constexpr range_difference_t<V> operator-(const @\exposid{iterator}@& x, const @\exposid{sentinel}@& y)
17065-
requires sized_sentinel_for<sentinel_t<V>, iterator_t<V>>;
17065+
requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
1706617066
\end{itemdecl}
1706717067

1706817068
\begin{itemdescr}
@@ -17075,7 +17075,7 @@
1707517075
\indexlibrarymember{operator-}{cache_latest_view::\exposid{sentinel}}%
1707617076
\begin{itemdecl}
1707717077
friend constexpr range_difference_t<V> operator-(const @\exposid{sentinel}@& x, const @\exposid{iterator}@& y)
17078-
requires sized_sentinel_for<sentinel_t<V>, iterator_t<V>>;
17078+
requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
1707917079
\end{itemdecl}
1708017080

1708117081
\begin{itemdescr}

0 commit comments

Comments
 (0)