\begin{note}

If a program ends the lifetime of an object for which a destructor

will be called implicitly,

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}.

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}