experimental additional constraints from Readable, fixes #239

ericniebler · Mar 8, 2017 · 822e3d6 · 822e3d6
1 parent 54457f9
commit 822e3d6
Showing 1 changed file with 1 addition and 7 deletions.
diff --git 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}