| ==================== |
| ``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). |
