Skip to content

Avoid excessive memcpys with the new solver - #160005

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
nnethercote:avoid-memcpy
Jul 28, 2026
Merged

Avoid excessive memcpys with the new solver#160005
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
nnethercote:avoid-memcpy

Shrink `GoalStalledOn`

94a8720
Select commit
Loading
Failed to load commit list.
rust-bors / Bors auto build succeeded Jul 28, 2026 in 3h 10m 42s

Bors auto build

View more details on rust-bors