Implicit error_type + exception_type constructor. Calls void on_outcome_construction(T *, U &&, V &&) noexcept with this, S and P.

Requires: predicate::enable_error_exception_converting_constructor<S, P> is true.

Complexity: Same as for error_type’s and exception_type’s copy or move constructor. Constexpr, triviality and noexcept of underlying operations is propagated.