Skip to content

Remove unnecessary casts - #352

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

Remove unnecessary casts#352
FranciscoTGouveia wants to merge 1 commit into
rust-num:mainfrom
FranciscoTGouveia:remove-casts

Commits

Commits on Jul 26, 2026