[basic.life] Remove a partial repetition of the end-of-lifetime rules#4894
Merged
tkoeppe merged 6 commits intocplusplus:mainfrom Oct 21, 2021
Merged
[basic.life] Remove a partial repetition of the end-of-lifetime rules#4894tkoeppe merged 6 commits intocplusplus:mainfrom
tkoeppe merged 6 commits intocplusplus:mainfrom