needless_lifetimes wrongly detect elidable lifetime with Iterator

[mgautierfr]

Summary

Clippy wrongly detect a lifetime which could be elided.

Lint Name

needless_lifetimes

Reproducer

I tried this code:

use std::collections::HashMap;

pub struct MyContainer(HashMap<u8, u32>);

impl MyContainer {
    pub fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a u8, &'a u32)> + 'a {
        self.0.iter()
    }
}

I saw this happen:

warning: the following explicit lifetimes could be elided: 'a
 --> test_clippy.rs:6:5
  |
6 |     pub fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a u8, &'a u32)> + 'a {
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_lifetimes
  = note: `#[warn(clippy::needless_lifetimes)]` on by default
help: elide the lifetimes
  |
6 -     pub fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a u8, &'a u32)> + 'a {
6 +     pub fn iter(&self) -> impl Iterator<Item = (&'_ u8, &'a u32)> + 'a {
  |

warning: 1 warning emitted

I expected to see this happen:

Lifetime 'a cannot be elided. Clippy should not emit a warning.

Version

`clippy-driver -V` : `clippy 0.1.73 (8131b97 2023-08-02)`

`rustc -Vv` : 

rustc 1.73.0-nightly (8131b9774 2023-08-02)
binary: rustc
commit-hash: 8131b9774ebcb6c162fcac71545a13543ec369e7
commit-date: 2023-08-02
host: x86_64-unknown-linux-gnu
release: 1.73.0-nightly
LLVM version: 16.0.5

### Additional Labels

_No response_

<!-- TRIAGEBOT_START -->

<!-- TRIAGEBOT_ASSIGN_START -->

<!-- TRIAGEBOT_ASSIGN_DATA_START$${"user":"PartiallyTyped"}$$TRIAGEBOT_ASSIGN_DATA_END -->

<!-- TRIAGEBOT_ASSIGN_END -->
<!-- TRIAGEBOT_END -->

[Centri3]

No, they can be: https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=5f4cb0c7410a0cd73f34c5dba5c2e37a

Looks like the suggestion is just missing a few of them (the + 'a and &'a u32)

[mgautierfr]

Ho indeed.

I have made this by try/error iterations following rustc and clippy suggestions to end in this situation.
As clippy suggestion is wrong I was supposing that lifetime was necessary. Thanks.

So it seems that the bug is on the faulty suggestion, not the detection.

[m-rph]

@rustbot claim

[m-rph]

The problem with this lint is with the collection of lifetimes within the "inner" types.