Skip to content

Implement coherence checks for negative trait impls - #85764

Closed
yaahc wants to merge 8 commits into
rust-lang:masterfrom
yaahc:negative-coherence
Closed

Implement coherence checks for negative trait impls#85764
yaahc wants to merge 8 commits into
rust-lang:masterfrom
yaahc:negative-coherence

thread the polarity into the traitpredicate

3549e93
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs