aboutsummaryrefslogtreecommitdiff
path: root/libcxx/docs/UserDocumentation.rst
diff options
context:
space:
mode:
Diffstat (limited to 'libcxx/docs/UserDocumentation.rst')
-rw-r--r--libcxx/docs/UserDocumentation.rst5
1 files changed, 5 insertions, 0 deletions
diff --git a/libcxx/docs/UserDocumentation.rst b/libcxx/docs/UserDocumentation.rst
index 79f5908..415a599 100644
--- a/libcxx/docs/UserDocumentation.rst
+++ b/libcxx/docs/UserDocumentation.rst
@@ -72,6 +72,11 @@ when ``-fexperimental-library`` is passed:
* ``std::chrono::tzdb`` and related time zone functionality
* ``<syncstream>``
+Additionally, assertion semantics are an experimental feature that can be used
+to customize the behavior of Hardening (see :ref:`here <assertion-semantics>`).
+Assertion semantics mirror the evaluation semantics of C++26 Contracts but are
+not a standard feature.
+
.. note::
Experimental libraries are experimental.
* The contents of the ``<experimental/...>`` headers and the associated static