[basic.life] Remove a partial repetition of the end-of-lifetime rules (#4894)

Author: geryogam

source/basic.tex

@@ -3383,16 +3383,14 @@
 \end{note}
 
 \pnum
-A program may end the lifetime of any object by reusing the storage
-which the object occupies or by explicitly calling a destructor
-or pseudo-destructor\iref{expr.prim.id.dtor} for the object.
-For an object of a class type, the program is not required to
-call the destructor explicitly before the storage which the object
-occupies is reused or released; however, if there is no explicit call to
-the destructor or if a \grammarterm{delete-expression}\iref{expr.delete}
-is not used to release the storage, the destructor is not
-implicitly called and any program that depends on the side effects
-produced by the destructor has undefined behavior.
+A program may end the lifetime of an object of class type without invoking the
+destructor, by reusing or releasing the storage as described above.
+\begin{note}
+A \grammarterm{delete-expression}\iref{expr.delete} invokes the destructor
+prior to releasing the storage.
+\end{note}
+In this case, the destructor is not implicitly invoked and any program that
+depends on the side effects produced by the destructor has undefined behavior.
 
 \pnum
 Before the lifetime of an object has started but after the storage which