Skip to content

Account for hygiene in typo suggestions, and use them to point to shadowed names#103111

Merged
bors merged 2 commits intorust-lang:masterfrom
cjgillot:shadow-label
Oct 21, 2022
Merged

Account for hygiene in typo suggestions, and use them to point to shadowed names#103111
bors merged 2 commits intorust-lang:masterfrom
cjgillot:shadow-label

Commits

Commits on Oct 16, 2022