From a5d1e7b42eeb7eb720f67c70f7caf6e874f56e7a Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Thu, 1 May 2025 16:24:22 +0100 Subject: [PATCH] [indirect.asgn], [polymorphic.asgn] Combine related bullets The bullet talking about destroying the previously owned object is only applicable to the bullet immediately before it. The current structure makes it appear to be applicable to all three of the cases that are separated by "otherwise" and are mutually exclusive. --- source/memory.tex | 8 -------- 1 file changed, 8 deletions(-) diff --git a/source/memory.tex b/source/memory.tex index dfa3087c95..c6ca03f28b 100644 --- a/source/memory.tex +++ b/source/memory.tex @@ -6258,8 +6258,6 @@ %FIXME: Concept "allocator needs updating" not defined/referenced. %FIXME: Same for all usages below. the allocator in \tcode{other} if the allocator needs updating. - -\item The previously owned object in \tcode{*this}, if any, is destroyed using \tcode{allocator_traits::\linebreak{}destroy} and then the storage is deallocated. @@ -6336,8 +6334,6 @@ the allocator in \tcode{*this} or the allocator in \tcode{other} if the allocator needs updating. - -\item The previously owned object in \tcode{*this}, if any, is destroyed using \tcode{allocator_traits::\linebreak{}destroy} and then the storage is deallocated. @@ -7115,8 +7111,6 @@ the owned object from \tcode{other} as the argument, using either the allocator in \tcode{*this} or the allocator in \tcode{other} if the allocator needs updating. - -\item The previously owned object in \tcode{*this}, if any, is destroyed using \tcode{allocator_traits::\linebreak{}destroy} and then the storage is deallocated. @@ -7179,8 +7173,6 @@ the owned object from \tcode{other} as the argument as an rvalue, using either the allocator in \tcode{*this} or the allocator in \tcode{other} if the allocator needs updating. - -\item The previously owned object in \tcode{*this}, if any, is destroyed using \tcode{allocator_traits::\linebreak{}destroy} and then the storage is deallocated.