1 ==================== 2 ``noexcept`` Policy 3 ==================== 4 5 Extended applications of ``noexcept`` 6 ------------------------------------------ 7 8 As of version 13 libc++ may mark functions that do not throw (i.e., 9 "Throws: Nothing") as ``noexcept``. This has two primary consequences: 10 first, functions might not report precondition violations by throwing. 11 Second, user-provided functions, such as custom predicates or custom 12 traits, which throw might not be propagated up to the caller (unless 13 specified otherwise by the Standard). 14