Skip to content

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

Merged
bors merged 7 commits into
rust-lang:masterfrom
compiler-errors:negative-coherence-rework
Oct 26, 2023
Merged

Rework negative coherence to properly consider impls that only partly overlap#112875
bors merged 7 commits into
rust-lang:masterfrom
compiler-errors:negative-coherence-rework

Commits

Commits on Oct 23, 2023