[basic.life] Turn the normatively redundant paragraph into a note

Author: frederick-vs-ja

source/basic.tex

@@ -3622,22 +3622,21 @@
 \end{note}
 
 \pnum
-If a program ends the lifetime of an object of type \tcode{T} with
-static\iref{basic.stc.static}, thread\iref{basic.stc.thread},
-or automatic\iref{basic.stc.auto}
-storage duration and if \tcode{T} has a non-trivial destructor,
+\begin{note}
+If a program ends the lifetime of an object for which a destructor
+will be called implicitly,
 \begin{footnote}
-That
-is, an object for which a destructor will be called
-implicitly---upon exit from the block for an object with
-automatic storage duration, upon exit from the thread for an object with
-thread storage duration, or upon exit from the program for an object
-with static storage duration.
+The destructor will be called upon exit from the block for an object with
+automatic storage duration\iref{basic.stc.auto}, upon exit from the thread
+for an object with thread storage duration\iref{basic.stc.thread}, or upon
+exit from the program for an object with
+static storage duration\iref{basic.stc.static}.
 \end{footnote}
-and another object of the original type does not occupy
-that same storage location when the implicit destructor call takes
-place, the behavior of the program is undefined. This is true
-even if the block is exited with an exception.
+and the object is not transparently replaceable by another object that is
+within its lifetime when the implicit destructor call takes place,
+the behavior of the program is undefined. This is true even if the block is
+exited with an exception.
+\end{note}
 \begin{example}
 \begin{codeblock}
 class T { };