Skip to content

Fix some unnecessary casts#118147

Merged
bors merged 1 commit into
rust-lang:masterfrom
Noratrieb:no-redundant-casts
Nov 22, 2023
Merged

Fix some unnecessary casts#118147
bors merged 1 commit into
rust-lang:masterfrom
Noratrieb:no-redundant-casts

Fix some unnecessary casts

c089a16
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs