Use `br` instead of `switch` in more cases.#103331

Merged

bors merged 1 commit intorust-lang:masterfrom nnethercote:convert-switch-to-br

Oct 31, 2022

Commits on Oct 30, 2022

Use br instead of switch in more cases.
nnethercote
committed