Skip to content

CTFE SwitchInt: update comment#94575

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:switchint-comment
Mar 4, 2022
Merged

CTFE SwitchInt: update comment#94575
bors merged 1 commit intorust-lang:masterfrom
RalfJung:switchint-comment

Commits

Commits on Mar 3, 2022