Skip to content

Remove redundant casts - #1307

Closed
FranciscoTGouveia wants to merge 1 commit into
rust-lang:mainfrom
FranciscoTGouveia:remove-casts
Closed

Remove redundant casts#1307
FranciscoTGouveia wants to merge 1 commit into
rust-lang:mainfrom
FranciscoTGouveia:remove-casts

chore: remove redundant casts

5045a4b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Rustfmt
succeeded Jul 27, 2026 in 5s