Rework negative coherence to properly consider impls that only partly overlap#112875

bors merged 7 commits into

rust-lang:masterrust-lang/rust:masterfrom

compiler-errors:negative-coherence-reworkcompiler-errors/rust:negative-coherence-reworkCopy head branch name to clipboard