Imported Upstream version 1.72.0

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

diff --git a/libs/outcome/doc/src/content/reference/types/basic_outcome/_index.md b/libs/outcome/doc/src/content/reference/types/basic_outcome/_index.md
index bfd2bd5..a0000f2 100644 (file)
--- a/libs/outcome/doc/src/content/reference/types/basic_outcome/_index.md
+++ b/libs/outcome/doc/src/content/reference/types/basic_outcome/_index.md
@@ -130,7 +130,16 @@ an exception perhaps carrying a custom payload.
     2. `basic_outcome<A, B, C, D>` is not this `basic_outcome` type.
     3. `A` is `void` OR `value_type` is explicitly constructible from `A`.
     4. `B` is `void` OR `error_type` is explicitly constructible from `B`.
-    4. `C` is `void` OR `exception_type` is explicitly constructible from `C`.
+    5. `C` is `void` OR `exception_type` is explicitly constructible from `C`.
+
+- `predicate::enable_make_error_code_compatible_conversion<A, B, C, D>` is constexpr boolean true if:
+    1. `predicate::constructors_enabled` is true.
+    2. `basic_outcome<A, B, C, D>` is not this `basic_outcome` type.
+    3. Trait {{% api "is_error_code_available<E>" %}} is true for decayed `error_type`.
+    4. `predicate::enable_compatible_conversion<A, B, C, D>` 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)`.
+    7. `C` is `void` OR `exception_type` is explicitly constructible from `C`.
 
 - `predicate::enable_inplace_value_constructor<Args...>` is constexpr boolean true if:
     1. `predicate::constructors_enabled` is true.