Skip to content

Remove redundant casts - #1307

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

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

Commits

  1. Commits on Jul 27, 2026