In the end what got into the standard is that it is well-defined: it calls std::terminate. If I recall that change wasn't made without drama.
In the end what got into the standard is that it is well-defined: it calls std::terminate. If I recall that change wasn't made without drama.