LWG3795 Self-move-assignment of std::future and std::shared_future have unimplementable postconditions

Author: burblebee

source/threads.tex

@@ -10576,6 +10576,8 @@
 \begin{itemdescr}
 \pnum
 \effects
+If \tcode{addressof(rhs) == this} is \tcode{true}, there are no effects.
+Otherwise:
 \begin{itemize}
 \item
 Releases any shared state\iref{futures.state}.
@@ -10591,6 +10593,7 @@
 assignment.
 
 \item
+If \tcode{addressof(rhs) == this} is \tcode{false},
 \tcode{rhs.valid() == false}.
 \end{itemize}
 \end{itemdescr}
@@ -10897,6 +10900,8 @@
 \begin{itemdescr}
 \pnum
 \effects
+If \tcode{addressof(rhs) == this} is \tcode{true}, there are no effects.
+Otherwise:
 \begin{itemize}
 \item
 Releases any shared state\iref{futures.state};
@@ -10912,6 +10917,7 @@
 the assignment.
 
 \item
+If \tcode{addressof(rhs) == this} is \tcode{false},
 \tcode{rhs.valid() == false}.
 \end{itemize}
 \end{itemdescr}
@@ -10924,6 +10930,8 @@
 \begin{itemdescr}
 \pnum
 \effects
+If \tcode{addressof(rhs) == this} is \tcode{true}, there are no effects.
+Otherwise:
 \begin{itemize}
 \item
 Releases any shared state\iref{futures.state};