unknowable trait ref ambiguity candidate can be ignored if an always applicable candidate exists

We add an ambiguous candidate for unknowable trait refs. However, unlike in the old solver, we return `Certainty::YES` if there is another candidate with no constraints. Given that projection goals always have constraints it feels like this should not impact coherence/the implicit negative overlap check.

TODO(@lcnr): thinky think