Skip to content

misc stuff from reading borrowck again :)#155910

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
BoxyUwU:borrowck_cleanup_5
Apr 28, 2026
Merged

misc stuff from reading borrowck again :)#155910
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
BoxyUwU:borrowck_cleanup_5