Implement stable overlap check considering negative traits - #93175

Merged

bors merged 12 commits into

rust-lang:masterfrom

spastorino:negative-traits-coherence-new

Jan 25, 2022

Commits on Jan 21, 2022

Use impl1 and impl2 instead of a and b prefixes
spastorino
committed
f518827
Move auxiliary fns out of overlap_with_probe
spastorino
committed
052b31b
Extract stable_disjoint fn
spastorino
committed
b2a45f0
Add overlap mode
spastorino
committed
c2890ed
Implement stable with negative coherence mode
spastorino
committed
d2d25a5
Do not pass OverlapMode down, just create a closure to properly set the filtering
spastorino
committed
1ec962f
Make strict_disjoint use explicit_disjoint
spastorino
committed
19e3c86
Remove intermediate function doesn't make more sense
spastorino
committed
e2567b0

Commits on Jan 22, 2022

Restructure the code leveraging in abilities more than modes
spastorino
committed
e5f2fdb

Commits on Jan 23, 2022

Document OverlapMode
spastorino
committed
7847ca8
Rename strict_check to negative_impl_exists
spastorino
committed
2693832
FIXME include regions too
spastorino
committed
8189bac