In certain cases (replacement functions, handler functions, operations on types used to
instantiate standard library template components), the C++ standard library depends on
components supplied by a C++ program.
If these components do not meet their requirements, this document places no requirements
on the implementation.
For replacement functions ([new.delete]), if the installed replacement function does not
implement the semantics of the applicable
Required behavior:
paragraph.
For handler functions ([new.handler], [terminate.handler]),
if the installed handler function does not implement the semantics of the applicable
Required behavior:
paragraph.
If any replacement function or handler function or destructor operation exits via an exception,
unless specifically allowed
in the applicable
Required behavior:
paragraph.
If an incomplete type ([basic.types]) is used as a template
argument when instantiating a template component or evaluating a concept, unless specifically
allowed for that component.