LWG3455 Incorrect Postconditions on unique_ptr move assignment

burblebee · tkoeppe · commit c30374c23f8b · 2020-12-14T01:29:41.000Z
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -8898,7 +8898,9 @@
 
 \pnum
 \ensures
-\tcode{u.get() == nullptr}.
+If \tcode{this != addressof(u)},
+\tcode{u.get() == nullptr},
+otherwise \tcode{u.get()} is unchanged.
 
 \pnum
 \returns
