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

Commits

Commits on Jul 27, 2026