Additional notes (April, 2024)
Concerning the proposed change to 6.7.4 [basic.life] paragraph 8, it was noted that (for example) a common non-allocating placement new does not happen before the storage is reused.