Repository navigation

[PERF] cache for unnormalized projection goal - #159001

Draft

adwinwhite wants to merge 1 commit into

rust-lang:mainfrom

adwinwhite:cache-unnormed-projection

Draft

[PERF] cache for unnormalized projection goal#159001
adwinwhite wants to merge 1 commit into
rust-lang:mainfrom
adwinwhite:cache-unnormed-projection

Commits on Jul 9, 2026
- do not normalize projection goal in `add_goal`
  adwinwhite
  committed
  26ba4c4