Skip to content

fix: report incorrect-ident-case for inner items#15320

Merged
bors merged 2 commits intorust-lang:masterfrom
lowr:fix/incorrect-name-case-for-inner-items
Jul 21, 2023
Merged

fix: report `incorrect-ident-case` for inner items#15320
bors merged 2 commits intorust-lang:masterfrom
lowr:fix/incorrect-name-case-for-inner-items

Commits

Commits on Jul 21, 2023