explicit basic_result(in_place_type_t<value_type_if_enabled>, Args ...)

Explicit inplace value constructor. Calls void on_result_in_place_construction(T *, in_place_type_t<U>, Args &&...) noexcept with this, in_place_type<value_type> and Args ....

Requires: predicate::enable_inplace_value_constructor<Args ...> is true.

Complexity: Same as for the value_type constructor which accepts Args .... Constexpr, triviality and noexcept of underlying operations is propagated.

Guarantees: If an exception is thrown during the operation, the state of the Args is left indeterminate.