Imported Upstream version 1.72.0

[platform/upstream/boost.git] / libs / outcome / doc / src / content / reference / types / basic_result / _index.md

diff --git a/libs/outcome/doc/src/content/reference/types/basic_result/_index.md b/libs/outcome/doc/src/content/reference/types/basic_result/_index.md
index 86391e3..8a1cc61 100644 (file)
--- a/libs/outcome/doc/src/content/reference/types/basic_result/_index.md
+++ b/libs/outcome/doc/src/content/reference/types/basic_result/_index.md
@@ -86,6 +86,22 @@ The second major design difference is that union storage is NOT used, as it is a
     3. `A` is `void` OR `value_type` is explicitly constructible from `A`.
     4. `B` is `void` OR `error_type` is explicitly constructible from `B`.
 
+- `predicate::enable_make_error_code_compatible_conversion<A, B, C>` is constexpr boolean true if:
+    1. `predicate::constructors_enabled` is true.
+    2. `basic_result<A, B, C>` is not this `basic_result` type.
+    3. Trait {{% api "is_error_code_available<E>" %}} is true for decayed `error_type`.
+    4. `predicate::enable_compatible_conversion<A, B, C>` is not true.
+    5. `A` is `void` OR `value_type` is explicitly constructible from `A`.
+    6. `error_type` is explicitly constructible from `make_error_code(B)`.
+
+- `predicate::enable_make_exception_ptr_compatible_conversion<A, B, C>` is constexpr boolean true if:
+    1. `predicate::constructors_enabled` is true.
+    2. `basic_result<A, B, C>` is not this `basic_result` type.
+    3. Trait {{% api "is_exception_ptr_available<E>" %}} is true for decayed `error_type`.
+    4. `predicate::enable_compatible_conversion<A, B, C>` is not true.
+    5. `A` is `void` OR `value_type` is explicitly constructible from `A`.
+    6. `error_type` is explicitly constructible from `make_exception_ptr(B)`.
+
 - `predicate::enable_inplace_value_constructor<Args...>` is constexpr boolean true if:
     1. `predicate::constructors_enabled` is true.
     2. `value_type` is `void` OR `value_type` is explicitly constructible from `Args...`.