LWG3404 Finish removing subrange's conversions from pair-like

Author: burblebee

source/ranges.tex

@@ -1478,11 +1478,6 @@
       @\exposconcept{convertible-to-non-slicing}@<U, tuple_element_t<0, T>> &&
       @\libconcept{convertible_to}@<V, tuple_element_t<1, T>>;
 
-  template<class T>
-    concept @\defexposconcept{iterator-sentinel-pair}@ =                        // \expos
-      !range<T> && @\exposconcept{pair-like}@<T> &&
-      @\libconcept{sentinel_for}@<tuple_element_t<1, T>, tuple_element_t<0, T>>;
-
   template<@\libconcept{input_or_output_iterator}@ I, @\libconcept{sentinel_for}@<I> S = I, subrange_kind K =
       @\libconcept{sized_sentinel_for}@<S, I> ? subrange_kind::sized : subrange_kind::unsized>
     requires (K == subrange_kind::sized || !@\libconcept{sized_sentinel_for}@<S, I>)
@@ -1544,13 +1539,6 @@
     subrange(I, S, @\placeholdernc{make-unsigned-like-t}@<iter_difference_t<I>>) ->
       subrange<I, S, subrange_kind::sized>;
 
-  template<@\exposconcept{iterator-sentinel-pair}@ P>
-    subrange(P) -> subrange<tuple_element_t<0, P>, tuple_element_t<1, P>>;
-
-  template<@\exposconcept{iterator-sentinel-pair}@ P>
-    subrange(P, @\placeholdernc{make-unsigned-like-t}@<iter_difference_t<tuple_element_t<0, P>>>) ->
-      subrange<tuple_element_t<0, P>, tuple_element_t<1, P>, subrange_kind::sized>;
-
   template<borrowed_range R>
     subrange(R&&) ->
       subrange<iterator_t<R>, sentinel_t<R>,