experimental additional constraints from Readable, fixes #239

ericniebler · Nov 19, 2016 · 2a2fa68 · 2a2fa68
1 parent 73a7864
commit 2a2fa68
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/iterators.tex b/iterators.tex
@@ -227,13 +227,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}