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