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

Open

Dnreikronos wants to merge 15 commits into

rust-lang:mainfrom

Dnreikronos:trait_solver/binder_region_constraints

Commits on Sep 4, 2026

Capture binder region constraints while relating
Dnreikronos
committed
e72868d
Register solver region constraints while relating
Dnreikronos
committed
6047bc2
Reproduce direct solver region registration failures
Dnreikronos
committed
a0d18dc
Handle reflexive solver region constraints
Dnreikronos
committed
250e1af
Normalize equated region vars in solver constraints
Dnreikronos
committed
8190f23
Normalize transitive equated region variables
Dnreikronos
committed
bcfe9a4
Move region constraint tests into test module
Dnreikronos
committed
0c2c2a3
Adapt region constraints to upstream APIs
Dnreikronos
committed
4a75d19
Clarify region constraint branch terminology
Dnreikronos
committed
ebe0f25
Match bivariance before region equality
Dnreikronos
committed
9905c14
Annotate principal upcast coerce error
Dnreikronos
committed
11482c1
Store equated region replacements in a map
Dnreikronos
committed
f1dc7a3
Clarify normalize and reflexive outlives comments
Dnreikronos
committed
710a4eb
Update placeholder assumption diagnostic
Dnreikronos
committed
d8ac094
Adapt region constraints to current upstream APIs
Dnreikronos
committed
e34e0cd