LWG2899 is_(nothrow_)move_constructible and tuple, optional and unique_ptr

Dawn Perchik · zygoloid · commit 079f7d3b02d8 · 2019-08-03T17:03:15.000-07:00
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -1278,7 +1278,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires \tcode{is_move_constructible_v<$\tcode{T}_i$>} is \tcode{true} for all $i$.
+\constraints \tcode{is_move_constructible_v<$\tcode{T}_i$>} is \tcode{true} for all $i$.
 
 \pnum
 \effects For all $i$, initializes the $i^\text{th}$ element of \tcode{*this} with
@@ -9181,6 +9181,9 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\constraints \tcode{is_move_constructible_v<D>} is \tcode{true}.
+
 \pnum
 \requires If \tcode{D} is not a reference type,
 \tcode{D} shall meet the \oldconcept{MoveConstructible}
@@ -9271,6 +9274,9 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\constraints \tcode{is_move_assignable_v<D>} is \tcode{true}.
+
 \pnum
 \requires If \tcode{D} is not a reference type, \tcode{D} shall meet the
 \oldconcept{MoveAssignable} requirements (\tref{cpp17.moveassignable}) and assignment
