Getting "unknown lint: clippy::elidable_lifetime_names
" using clippy 1.85.1
#14653
Labels
C-bug
Category: Clippy is not doing the correct thing
I-false-positive
Issue: The lint was triggered on code it shouldn't have
Update: Turns out the version annotation was wrong. Here's a PR to fix it: #14654
Summary
I'm getting an "unknown lint" warning for
clippy::elidable_lifetime_names
despite using rust/clippy version 1.85.1 which is later than the versionclippy::elidable_lifetime_names
was introduced in: 1.84.0 per https://rust-lang.github.io/rust-clippy/master/index.html#/elid)Interestingly I couldn't find the lint in the stable branch, only on master. Is that why I'm getting the lint? If so, shouldn't the docs distinguish between the version something landed on stable?
Lint Name
unknown lint:
clippy::elidable_lifetime_names
Reproducer
I tried this code:
I saw this happen:
I expected to see this happen: No lint
Version
Additional Labels
No response
The text was updated successfully, but these errors were encountered: