Recover labels written as identifiers#106783

Merged

bors merged 3 commits intorust-lang:masterfrom WaffleLapkin:break-my-ident

Jan 20, 2023

+93-7

Commits on Jan 12, 2023

Commits on Jan 13, 2023

Recover labels written as identifiers
WaffleLapkin
committed