Skip to content

[tiny] Remove some unecessary .into() calls#157837

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
estebank:useless-into-in-rustc
Jun 14, 2026
Merged

[tiny] Remove some unecessary .into() calls#157837
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
estebank:useless-into-in-rustc