Skip to content

Commit eccd39d

Browse files
committed
[range.lazy.split.inner] Fix "base()" according to LWG3533
This is a follow-up to LWG3533 ("Consistency for `base() const &`"), which changes lazy_split_view::inner-iterator::base's return type and requires-clause.
1 parent 22de07a commit eccd39d

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

source/ranges.tex

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -5993,8 +5993,7 @@
59935993
@\exposid{inner-iterator}@() = default;
59945994
constexpr explicit @\exposid{inner-iterator}@(@\exposid{outer-iterator}@<Const> i);
59955995

5996-
constexpr iterator_t<@\exposid{Base}@> base() const&
5997-
requires @\libconcept{copyable}@<iterator_t<@\exposid{Base}@>>;
5996+
constexpr const iterator_t<@\exposid{Base}@>& base() const &;
59985997
constexpr iterator_t<@\exposid{Base}@> base() &&;
59995998

60005999
constexpr decltype(auto) operator*() const { return *@\exposid{i_}@.@\placeholder{current}@; }
@@ -6051,8 +6050,7 @@
60516050

60526051
\indexlibrarymember{base}{lazy_split_view::\exposid{inner-iterator}}%
60536052
\begin{itemdecl}
6054-
constexpr iterator_t<@\exposid{Base}@> base() const&
6055-
requires @\libconcept{copyable}@<iterator_t<@\exposid{Base}@>>;
6053+
constexpr const iterator_t<@\exposid{Base}@>& base() const &;
60566054
\end{itemdecl}
60576055

60586056
\begin{itemdescr}

0 commit comments

Comments
 (0)