suggestion for attempted integer identifier in patterns#106591
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 17, 2023
Merged
suggestion for attempted integer identifier in patterns#106591bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom