Merge pull request #451 from ericniebler/issue_317

Apply P0663R0 PR for 317: is_nothrow_indirectly_movable could be true…
ericniebler · Jul 18, 2017 · a3bea04 · a3bea04
2 parents 1e47c13 + 6699a4f
commit a3bea04
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/iterators.tex b/iterators.tex
@@ -1696,6 +1696,7 @@
   requires IndirectlyMovable<In, Out>
 struct is_nothrow_indirectly_movable<In, Out> :
   integral_constant<bool,
+    noexcept(ranges::iter_move(declval<In&>())) &&
     is_nothrow_constructible<value_type_t<In>, rvalue_reference_t<In>>::value &&
     is_nothrow_assignable<value_type_t<In> &, rvalue_reference_t<In>>::value &&
     is_nothrow_assignable<reference_t<Out>, rvalue_reference_t<In>>::value &&