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

Requires: predicate::enable_error_converting_constructor<S> is true.

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