Implement stable overlap check considering negative traits#93175

Merged

bors merged 12 commits intorust-lang:masterfrom

spastorino:negative-traits-coherence-new

Jan 25, 2022

Commits on Jan 22, 2022

Restructure the code leveraging in abilities more than modes
spastorino
committed

Commits on Jan 23, 2022