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

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

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