Wrong explicit lifetime annotation elimination advice

[ledyba]

Environment

• IntelliJ Rust plugin version: 0.4.200.5421-232
• Rust toolchain version: 1.72.0 (5680fa18f 2023-08-23) x86_64-pc-windows-msvc
• IDE name and version: CLion 2023.2.1 (CL-232.9559.58)
• Operating system: Windows 10.0
• Macro expansion: enabled
• Additional experimental features: org.rust.macros.proc.attr

Problem description

IntelliJ Rust advies me that this life-time can be elided:

But if elided, there occurs syntax error (elimination is not enough)

... And if I removed ''a' by my hand, rust compiler says it can't compile the source!

Additional note: Rust-analyzer does not say about this elimination.

Here is a (maybe) correct and fully-annotated lifetime annotation:

  pub fn find<'a, 'b, F, R>(&'a self, f: F) -> Option<R>
    where
      F: Fn(&'b String) -> Option<R>,
      'a: 'b
  {
    for entry in &self.entries {
      let r = f(entry);
      if r.is_some() {
        return r;
      }
    }
    None
  }

Steps to reproduce

Please clone this repository:

https://github.com/ledyba/__bug__intellij-rust_lifetime

Here is a main.rs:

https://github.com/ledyba/__bug__intellij-rust_lifetime/blob/magistra/src/main.rs