From 4fd837c92f11dd0cd04393aee945ee72c03fc75e Mon Sep 17 00:00:00 2001
From: Casey Carter <Casey@Carter.net>
Date: Wed, 24 Feb 2021 11:38:47 -0800
Subject: [PATCH] [ranges.syn] Don't constrain specializations of
 enable_borrowed_range

These constraints redundantly repeat the constraints from the template we're partially specializing for. This isn't incorrect, but it is unnecessary, adds opportunities for editorial errors, and is inconsistent with how other partial specializations of templates for constrained types are specified.
---
 source/ranges.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/ranges.tex b/source/ranges.tex
index 24c4f3fde5..a3cfe32dca 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -127,7 +127,7 @@
     requires (K == subrange_kind::sized || !@\libconcept{sized_sentinel_for}@<S, I>)
   class subrange;
 
-  template<@\libconcept{input_or_output_iterator}@ I, @\libconcept{sentinel_for}@<I> S, subrange_kind K>
+  template<class I, class S, subrange_kind K>
     inline constexpr bool enable_borrowed_range<subrange<I, S, K>> = true;
 
   // \ref{range.dangling}, dangling iterator handling
@@ -168,7 +168,7 @@
     requires @\exposconcept{weakly-equality-comparable-with}@<W, Bound> && @\libconcept{semiregular}@<W>
   class iota_view;
 
-  template<@\libconcept{weakly_incrementable}@ W, @\libconcept{semiregular}@ Bound>
+  template<class W, class Bound>
     inline constexpr bool enable_borrowed_range<iota_view<W, Bound>> = true;
 
   namespace views { inline constexpr @\unspec@ iota = @\unspec@; }