Skip to content

Add two comments relating to new-solver performance - #161631

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
nnethercote:new-solver-perf-comments
Aug 25, 2026
Merged

Add two comments relating to new-solver performance#161631
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
nnethercote:new-solver-perf-comments

Commits

Commits on Aug 24, 2026