Skip to content

switch_ty is redundant#73586

Merged
bors merged 3 commits intorust-lang:masterfrom
RalfJung:switch-ty
Jun 23, 2020
Merged

switch_ty is redundant#73586
bors merged 3 commits intorust-lang:masterfrom
RalfJung:switch-ty

Commits

Commits on Jun 21, 2020