LWG3553 Useless constraint in split_view::outer-iterator::value_type::begin()

Author: jensmaurer

source/ranges.tex

@@ -5816,8 +5816,7 @@
     value_type() = default;
     constexpr explicit value_type(@\exposid{outer-iterator}@ i);
 
-    constexpr @\exposid{inner-iterator}@<Const> begin() const requires @\libconcept{copyable}@<@\exposid{outer-iterator}@>;
-    constexpr @\exposid{inner-iterator}@<Const> begin() requires (!@\libconcept{copyable}@<@\exposid{outer-iterator}@>);
+    constexpr @\exposid{inner-iterator}@<Const> begin() const;
     constexpr default_sentinel_t end() const;
   };
 }
@@ -5836,7 +5835,7 @@
 
 \indexlibrarymember{begin}{split_view::\exposid{outer-iterator}::value_type}%
 \begin{itemdecl}
-constexpr @\exposid{inner-iterator}@<Const> begin() const requires @\libconcept{copyable}@<@\exposid{outer-iterator}@>;
+constexpr @\exposid{inner-iterator}@<Const> begin() const;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -5845,16 +5844,6 @@
 Equivalent to: \tcode{return \exposid{inner-iterator}<Const>\{\exposid{i_}\};}
 \end{itemdescr}
 
-\indexlibrarymember{begin}{split_view::\exposid{outer-iterator}::value_type}%
-\begin{itemdecl}
-constexpr @\exposid{inner-iterator}@<Const> begin() requires (!@\libconcept{copyable}@<@\exposid{outer-iterator}@>);
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-\effects
-Equivalent to: \tcode{return \exposid{inner-iterator}<Const>\{std::move(\exposid{i_})\};}
-\end{itemdescr}
 \indexlibrarymember{end}{split_view::\exposid{outer-iterator}::value_type}%
 \begin{itemdecl}
 constexpr default_sentinel_t end() const;