Some drive-by housecleaning in `rustc_borrowck`#140257

Closed

amandasystems wants to merge 1 commit intorust-lang:masterfrom

amandasystems:housecleaning

Commits on Apr 25, 2025

Some drive-by housecleaning in `rustc_borrowck`
amandasystems
committed