The clippy lints website can search for lints. The search function knows to replace dashes with underscores (As the lints on the website are written with underscores, but in other tools and usages they may be written with dashes) but, due to a mistake in the Javascript website code, the replace operation happens only once.
This means that if the lint name is copied from another tool and has more than two words separated by dashes, the website will not find a matching lint even if it exists, because the replace method call is erroneous.
I have tried to fix the method call to replaceAll by modifying the JS source and can verify that the solution works, so I will submit a PR soon.
Reproducer
Open the clippy lints website (I specifically use the master reference but I suppose any other reference will work).
Search for a lint with more than two words. Separate the words with dashes and not underscores.
Summary
The clippy lints website can search for lints. The search function knows to replace dashes with underscores (As the lints on the website are written with underscores, but in other tools and usages they may be written with dashes) but, due to a mistake in the Javascript website code, the replace operation happens only once.
This means that if the lint name is copied from another tool and has more than two words separated by dashes, the website will not find a matching lint even if it exists, because the
replace
method call is erroneous.I have tried to fix the method call to
replaceAll
by modifying the JS source and can verify that the solution works, so I will submit a PR soon.Reproducer
Version
No response
Additional Labels
No response