Implicit error-and-exception-from-failure-type-sugar move constructor used to disambiguate the construction of the error + exception types. Calls void on_outcome_move_construction(T *, U &&, V &&) noexcept with this, failure_type<EC> && and failure_type<EP> &&.

Requires: predicate::enable_compatible_conversion<void, EC, EP, void> is true.

Complexity: Same as for the error_type and exception_type constructors which accept EC and EP. Constexpr, triviality and noexcept of underlying operations is propagated.