Repository navigation

Abby constraint support everywhere - #164288

Draft

BoxyUwU wants to merge 6 commits into

rust-lang:mainfrom

BoxyUwU:abby_constraint_support_everywhere

Draft

Abby constraint support everywhere#164288
BoxyUwU wants to merge 6 commits into
rust-lang:mainfrom
BoxyUwU:abby_constraint_support_everywhere

Commits on Oct 13, 2026
- Move abby constraints data into region constraint storage
  BoxyUwU
  committed
  62fe1e3
- mark everywhere that needs to handle abby constraints too
  BoxyUwU
  committed
  6499dca
- Make lexical region resolution work with abby constraints
  BoxyUwU
  committed
  52076ee
- no weird Option<AbbyConstraint>
  BoxyUwU
  committed
  89c69ea
- Preserve solver constraints across type-op queries
  
  Dnreikronos
  authored and
  BoxyUwU
  committed
  13faf0d
- finish piping stuff around for borrowck region constraints
  BoxyUwU
  committed
  e1f6b73