[basic.life][class.dtor] Turn normatively redundant paragraphs for double destruction into notes#6389

Closed

frederick-vs-ja wants to merge 2 commits intocplusplus:mainfrom

frederick-vs-ja:double-destruction

Commits on Jul 21, 2023

[basic.life] Turn the normatively redundant paragraph into a note
frederick-vs-ja
committed
[class.dtor] Turn the normatively redundant paragraph into a note
frederick-vs-ja
committed