abby: always store nextgen region constraints in canonical form - #161306

Open

BoxyUwU wants to merge 10 commits into

rust-lang:mainfrom

BoxyUwU:abby_canonical_form_always

Commits on Aug 21, 2026

split `rewrite_type_outlives_constraints_in_universe` into multiple fns
BoxyUwU
committed
5a6c953
restructure `rewrite_type_outlives_constraints_in_universe`
BoxyUwU
committed
fb9c653
restructure `compute_new_region_constraints`
BoxyUwU
committed
92354ff
restructure `pull_region_outlives_constraints_out_of_universe`
BoxyUwU
committed
62ca88d
restructure `destructure_type_outlives_constraints_in_root`
BoxyUwU
committed
fd355c1
remove big manual derives
BoxyUwU
committed
2e3f521
stub out `evaluate_solver_constraint`
BoxyUwU
committed
66a2c9a
always canonical form
BoxyUwU
committed
70a8c63
add `new_leaf` functions
BoxyUwU
committed
fe0d9d8
propagate ambiguity not evaluate
BoxyUwU
committed
1bead00