mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-29 12:36:35 +03:00
8e30998c18
Remove some unnecessary erases Some nits I pulled out of https://github.com/rust-lang/rust/pull/140814.