Auto merge of #102304 - lcnr:coherence-cleanup, r=compiler-errors

remove outdated coherence hack

we have a more precise detection for downstream conflicts in candidate assembly: the `is_knowable` check in `candidate_from_obligation_no_cache`.

r? types cc `@nikomatsakis`