LWG4024 Underspecified destruction of objects created in std::make_shared_for_overwrite/std::allocate_shared_for_overwrite

Author: burblebee

source/memory.tex

@@ -4012,7 +4012,9 @@
   of their original construction.
 \item
   When a (sub)object of non-array type \tcode{U}
-  that was initialized by \tcode{make_shared} is to be destroyed,
+  that was initialized by \tcode{make_shared},
+  \tcode{make_shared_for_overwrite}, or \tcode{allocate_shared_for_overwrite}
+  is to be destroyed,
   it is destroyed via the expression \tcode{pv->\~{}U()} where
   \tcode{pv} points to that object of type \tcode{U}.
 \item