trait_selection: Keep type-op region constraints in borrowck - #161423

Open

Dnreikronos wants to merge 6 commits into

rust-lang:mainfrom

Dnreikronos:trait_selection/preserve_type_op_constraints

Commits on Sep 4, 2026

Carry solver region constraints through type ops
Dnreikronos
committed
2c20476
Register solver constraints from implied bounds
Dnreikronos
committed
1b5deb1
Pass solver constraints into query responses
Dnreikronos
committed
962324c
Keep query constraint handling exhaustive
Dnreikronos
committed
7474e2f
Keep implied-bound handling exhaustive
Dnreikronos
committed
16eccd1
Ignore trivial solver region constraints
Dnreikronos
committed
0f14fc7