mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-28 19:27:30 +03:00
8e30998c18
Remove some unnecessary erases Some nits I pulled out of https://github.com/rust-lang/rust/pull/140814.