doc-valid-idents
in clippy.toml
being ignored
#8145
Labels
C-an-interesting-project
Category: Interesting projects, that usually are more involved design/code wise.
C-bug
Category: Clippy is not doing the correct thing
E-hard
Call for participation: This a hard problem and requires more experience or effort to work on
Summary
I'm attempting to add a new element to
doc-valid-idents
inclippy.toml
to ignore a GitHub username, but it doesn't seem to be taking any effect, asclippy:doc_markdown
still flags it.Reproducer
I tried this code:
I expected to see this happen:
Instead, this happened:
Version
Additional Labels
No response
The text was updated successfully, but these errors were encountered: