P4310R0 — Hasta la Vista, Undefined Behavior: Why Implicit Contract Violations Should Terminate
WG21
For a detected core-language violation, the terminating response - invoke the handler, then terminate - is the default the evidence supports.