Don't require intercrate mode for negative coherence#117992

Merged

bors merged 2 commits intorust-lang:masterfrom

compiler-errors:sound-but-not-complete

Nov 21, 2023

Commits on Nov 20, 2023

Don't drop region constraints that come from plugging infer regions with placeholders
compiler-errors
committed
Don't require intercrate mode for negative coherence
compiler-errors
committed