trait solver: Capture binder region constraints while relating - #157984

Open

Dnreikronos wants to merge 17 commits into

rust-lang:mainfrom

Dnreikronos:trait_solver/binder_region_constraints

Commits on Aug 22, 2026

Capture binder region constraints while relating
Dnreikronos
committed
da55797
Register solver region constraints while relating
Dnreikronos
committed
31a892e
Reproduce direct solver region registration failures
Dnreikronos
committed
44ce530
Handle reflexive solver region constraints
Dnreikronos
committed
12d527f
Normalize equated region vars in solver constraints
Dnreikronos
committed
6766f9f
Normalize transitive equated region variables
Dnreikronos
committed
167bdba
Move region constraint tests into test module
Dnreikronos
committed
e6a145e
Adapt region constraints to upstream APIs
Dnreikronos
committed
90911b3
Clarify region constraint branch terminology
Dnreikronos
committed
dc8a6e4
Match bivariance before region equality
Dnreikronos
committed
9c4c760
Annotate principal upcast coerce error
Dnreikronos
committed
ba848af
Store equated region replacements in a map
Dnreikronos
committed
bcbf75b
Keep ambiguity beside remaining Or candidates
Dnreikronos
committed
6d48755
Clarify normalize and reflexive outlives comments
Dnreikronos
committed
8344a91
Restore alias outlives stderr blank line
Dnreikronos
committed
2e09b2c
Update placeholder assumption diagnostic
Dnreikronos
committed
d814ce1
Adapt region constraints to current upstream APIs
Dnreikronos
committed
62ca92b