rvalues should also be tested for writability, refs ericniebler/stl2#387

ericniebler · Jul 1, 2017 · 779e98d · 779e98d
1 parent dd7fd44
commit 779e98d
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/include/range/v3/utility/iterator_concepts.hpp b/include/range/v3/utility/iterator_concepts.hpp
@@ -178,10 +178,12 @@ namespace ranges
                 using reference_t = Readable::reference_t<Out>;
 
                 template<typename Out, typename T>
-                auto requires_(Out& o, T &&t) -> decltype(
+                auto requires_(Out&& o, T &&t) -> decltype(
                     concepts::valid_expr(
                         ((void)(*o = (T &&) t), 42),
-                        ((void)(const_cast<reference_t<Out> const &&>(*o) = (T &&)t), 42)
+                        ((void)(*((Out &&) o) = (T &&) t), 42),
+                        ((void)(const_cast<reference_t<Out> const &&>(*o) = (T &&)t), 42),
+                        ((void)(const_cast<reference_t<Out> const &&>(*((Out &&) o)) = (T &&)t), 42)
                     ));
             };