Skip to content

Make negative coherence work when there's impl negative on super predicates#95039

Merged
bors merged 8 commits intorust-lang:masterfrom
spastorino:overlap-super-predicates
Mar 18, 2022

Commits

Commits on Mar 16, 2022

Commits on Mar 17, 2022