Alright, yeah, no exception should escape the finally destructor. After so many years of using it, I should know better than to write C++. But anyway, the prob

Alright, yeah, no exception should escape the finally destructor. After so many years of using it, I should know better than to write C++. But anyway, the problem is still programmer error. Just as you shouldn’t throw an exception from a destructor, you shouldn’t throw an exception from a “finally”, because it is, by definition, run in a destructor. So, sure, calling std::terminate() explicitly makes about as much sense as anything, but I’d prefer to ignore (and perhaps log) such erroneous exceptions, for reasons of stability.