trait_solver: Preserve concrete candidates in ambiguous ORs - #162442

Open

Dnreikronos wants to merge 9 commits into

rust-lang:mainfrom

Dnreikronos:trait_solver/preserve_binder_or_candidates

Commits on Sep 7, 2026

Handle reflexive solver region constraints
Dnreikronos
committed
dbb76aa
Discharge region constraints entailed by assumptions
Dnreikronos
committed
fa9c3be
Include implied regions in outlives assumptions
Dnreikronos
committed
c516fc0
Evaluate reflexive region constraints at the root
Dnreikronos
committed
96373ce
Keep reflexive constraint handling self-contained
Dnreikronos
committed
b4c1f95
Drop trivially true region constraints when canonicalizing
Dnreikronos
committed
ba8b0fc
Preserve concrete candidates in ambiguous ORs
Dnreikronos
committed
1e3e8f6
Match mixed OR stderr fixture
Dnreikronos
committed
da7324e

Commits on Sep 8, 2026

Remove redundant OR ambiguity propagation
Dnreikronos
committed
215aa48