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

Open

BoxyUwU wants to merge 24 commits into

rust-lang:mainfrom

BoxyUwU:abby_canonical_form_always

Commits on Aug 26, 2026

Commits on Aug 27, 2026

restructure `pull_region_outlives_constraints_out_of_universe`
BoxyUwU
committed
15b08b4
restructure `destructure_type_outlives_constraints_in_root`
BoxyUwU
committed
392edef
remove big manual derives
BoxyUwU
committed
4d35ce9
stub out `evaluate_solver_constraint`
BoxyUwU
committed
58e60ab
always canonical form
BoxyUwU
committed
6cf17d2
add `new_leaf` functions
BoxyUwU
committed
ec38877
propagate ambiguity not evaluate
BoxyUwU
committed
cb42b8d
unncessarily typo
BoxyUwU
committed
9897fe9
`Or::new_and` nit
BoxyUwU
committed
f96c64f
`And::new` nit
BoxyUwU
committed
47be0ac
s/CanonicalFormRegionConstraint/RegionConstraint
BoxyUwU
committed
7748294

Commits on Aug 28, 2026

import whoopsies
BoxyUwU
committed
518ebc9
use reduce
BoxyUwU
committed
666fbdb
empty or is falsey :3
BoxyUwU
committed
c523918
add perf fixme for region constraint undolog
BoxyUwU
committed
1482fea
do type annotation better :3
BoxyUwU
committed
1058ab7
dont clone for no reason
BoxyUwU
committed
6eebdec
better docs on region constraints
BoxyUwU
committed
8794cae
split first!
BoxyUwU
committed
ba7c1dd
rename `Or::new_and/or` and `RegionConstraint::new_and/or`
BoxyUwU
committed
b93ea27
whoops everything is span sensitive now
BoxyUwU
committed
be61456