I was mostly trying to express that chasing after everything being cancelable is IMO not worth it i.e. cancelling the destructor code should not ever happen -- the compiler / runtime should not allow it ever.

Again, my opinion only. Feels like too much complexity for no payoff.

The other person replying to you understood me correctly.