Skip to content

Simplify SwitchInt handling#133328

Merged
bors merged 5 commits intorust-lang:masterfrom
nnethercote:simplify-SwitchInt-handling
Dec 19, 2024
Merged

Simplify `SwitchInt` handling#133328
bors merged 5 commits intorust-lang:masterfrom
nnethercote:simplify-SwitchInt-handling

Commits

Commits on Dec 15, 2024