Another minor correction:

On 12 Apr 2025, at 16:56, Timur Doumler <cpp@timur.audio> wrote:
  • [class.cdtor]/1:  For an object with a non-trivial destructor, referring to any non-static member or base class of the object after the destructor finishes execution results in undefined behavior.

This actually belongs into section 4 of my email, not section 1, as it seems to be covered by {class.cdtor.before.ctor.after.dtor} together with the previous, related instance of UB ("before the constructor begins execution"), rather than missing entirely.

Timur