Skip to content

remove unneeded reboxing#152937

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
cyrgani:box-box
Feb 22, 2026
Merged

remove unneeded reboxing#152937
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
cyrgani:box-box

Commits

Commits on Feb 21, 2026