added 2 commits

bors added S-waiting-on-bors

and removed S-waiting-on-review

labels

matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request

new solver cleanup + implement coherence

the cleanup:
- change `Certainty::unify_and` to consider ambig + overflow to be ambig
- rename `trait_candidate_should_be_dropped_in_favor_of` to `candidate_should_be_dropped_in_favor_of`
- remove outdated fixme

For coherence I mostly just add an ambiguous candidate if the current trait ref is unknowable. I am doing the same for reservation impl where I also just add an ambiguous candidate.

bors added a commit to rust-lang-ci/rust that referenced this pull request

lcnr deleted the coherence branch

13 tasks