Optimize switch sources representation and usage#96838
Merged
bors merged 2 commits intorust-lang:masterfrom May 10, 2022
Merged
Optimize switch sources representation and usage#96838bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom