> To extend on this: application developers can actually guarantee it, because they control the compilation process, which is what decides if it aborts or not.

> To extend on this: application developers can actually guarantee it, because they control the compilation process, which is what decides if it aborts or not. They can control that panic isn't compiled as abort, but even then, if there's a destructor that can panic, then if it panics during unwinding, it aborts. So even the app developer cannot guarantee to catch all panics.