Skip to content

Commit 023c5c8

Browse files
[class.dtor] Turn the normatively redundant paragraph into a note
1 parent 5c57c53 commit 023c5c8

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

source/classes.tex

+2
Original file line numberDiff line numberDiff line change
@@ -2270,9 +2270,11 @@
22702270
\end{note}
22712271

22722272
\pnum
2273+
\begin{note}
22732274
Once a destructor is invoked for an object, the object's lifetime ends;
22742275
the behavior is undefined if the destructor is invoked
22752276
for an object whose lifetime has ended\iref{basic.life}.
2277+
\end{note}
22762278
\begin{example}
22772279
If the destructor for an object with automatic storage duration is explicitly invoked,
22782280
and the block is subsequently left in a manner that would ordinarily

0 commit comments

Comments
 (0)