experimental additional constraints from Readable, fixes #239

ericniebler · Feb 18, 2017 · d1cc3e4 · d1cc3e4
1 parent 335e8a9
commit d1cc3e4
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}