Repository navigation

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

Merged

rust-bors[bot] merged 8 commits into

rust-lang:mainfrom

BoxyUwU:abby_canonical_form_always

Sep 3, 2026

Merged

abby: always store nextgen region constraints in canonical form#161306
rust-bors[bot] merged 8 commits into
rust-lang:mainfrom
BoxyUwU:abby_canonical_form_always

Commits on Sep 2, 2026
- split `rewrite_type_outlives_constraints_in_universe` into multiple fns
  BoxyUwU
  committed
  a166ed9
- restructure `rewrite_type_outlives_constraints_in_universe`
  BoxyUwU
  committed
  ac64915
- restructure `compute_new_region_constraints`
  BoxyUwU
  committed
  93ac67a
- restructure `pull_region_outlives_constraints_out_of_universe`
  BoxyUwU
  committed
  cc69cca
- restructure `destructure_type_outlives_constraints_in_root`
  BoxyUwU
  committed
  6d6f775
- remove some stuff to make next commit diff nicer
  BoxyUwU
  committed
  56047fc
- always canonical form
  BoxyUwU
  committed
  9bfb178
- propagate ambiguity not evaluate
  BoxyUwU
  committed
  b22bffa