From 822e3d65b31ef8a97fe14892ceff8950310508df Mon Sep 17 00:00:00 2001
From: Eric Niebler <eniebler@boost.org>
Date: Fri, 18 Nov 2016 16:31:43 -0800
Subject: [PATCH] experimental additional constraints from Readable, fixes #239

---
 iterators.tex | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/iterators.tex b/iterators.tex
index da7aed0b..49515456 100644
--- a/iterators.tex
+++ b/iterators.tex
@@ -1074,13 +1074,7 @@
       } &&
       CommonReference<reference_t<I>, value_type_t<I>&>() &&
       CommonReference<reference_t<I>, rvalue_reference_t<I>>() &&
-      CommonReference<rvalue_reference_t<I>, const value_type_t<I>&>() &&
-      Same<
-        common_reference_t<reference_t<I>, value_type_t<I>>,
-        value_type_t<I>>() &&
-      Same<
-        common_reference_t<rvalue_reference_t<I>, value_type_t<I>>,
-        value_type_t<I>>();
+      CommonReference<rvalue_reference_t<I>, const value_type_t<I>&>();
   }
 \end{codeblock}