perf experiment: try to get rid of box_new - #147907
Closed
RalfJung wants to merge 3 commits into
Closed
rust-bors / Bors try build
succeeded
Oct 27, 2025 in 2h 13m 21s
Bors try build
Loading