Skip to content

Misc cleanups from reading some borrowck code#150141

Merged
bors merged 1 commit intorust-lang:mainfrom
BoxyUwU:borrowck_cleanup_1
Dec 24, 2025
Merged

Misc cleanups from reading some borrowck code#150141
bors merged 1 commit intorust-lang:mainfrom
BoxyUwU:borrowck_cleanup_1

Commits

Commits on Dec 24, 2025