=================== noexcept Policy

Extended applications of noexcept

As of version 13 libc++ may mark functions that do not throw (i.e., "Throws: Nothing") as noexcept. This has two primary consequences: first, functions might not report precondition violations by throwing. Second, user-provided functions, such as custom predicates or custom traits, which throw might not be propagated up to the caller (unless specified otherwise by the Standard).