My bad, I swapped 'former' and 'latter'. What I simply meant is this: https://godbolt.org/z/Y7W6GenbE https://godbolt.org/z/Y7W6GenbE If an exception is proper

My bad, I swapped 'former' and 'latter'. What I simply meant is this: https://godbolt.org/z/Y7W6GenbE https://godbolt.org/z/Y7W6GenbE If an exception is properly handled (i.e. inside a try-catch block), the destructor of any object that might be destroyed after leaving said scope, is called as part of the stack-unwind, guaranteed by the specification.