Skip to content

Fix some unnecessary casts#118147

Merged
bors merged 1 commit intorust-lang:masterfrom Noratrieb:no-redundant-castsNov 22, 2023

Commits

Commits on Nov 21, 2023