Fix solve failure explanation in some cases

In the problematic cases, one version of the dependency
was ruled out early (e.g. source vs binary), but then
in the failure explanation we did not spread a failure
of the other version upstream, and nothing was printed.