Skip to content

Implement coherence checks for negative trait impls#90104

Merged
bors merged 22 commits into
rust-lang:masterfrom
spastorino:coherence-for-negative-trait
Oct 23, 2021
Merged

Implement coherence checks for negative trait impls#90104
bors merged 22 commits into
rust-lang:masterfrom
spastorino:coherence-for-negative-trait

Commits

Commits on Oct 20, 2021

Commits on Oct 22, 2021

Commits on Oct 23, 2021