Confusing HRTB mismatching diagnostic message

[ethe]

Given the following code:

use std::future::Future;

async fn foo<F, R>(f: F) -> bool
where
    F: Fn(&u8) -> R,
    R: Future<Output = bool>,
{
    todo!()
}

async fn bar() {
    foo(fut).await;
}

async fn fut(param: &u8) -> bool {
    todo!()
}

The current output is:

Standard Error
   Compiling playground v0.0.1 (/playground)
error[[E0308]](https://doc.rust-lang.org/stable/error-index.html#E0308): mismatched types
  --> src/lib.rs:12:5
   |
12 |     foo(fut).await;
   |     ^^^^^^^^ one type is more general than the other
   |
   = note: expected trait `for<'r> <for<'r> fn(&'r u8) -> impl for<'r> Future<Output = bool> {fut} as FnOnce<(&'r u8,)>>`
              found trait `for<'r> <for<'r> fn(&'r u8) -> impl for<'r> Future<Output = bool> {fut} as FnOnce<(&'r u8,)>>`
note: the lifetime requirement is introduced here
  --> src/lib.rs:5:19
   |
5  |     F: Fn(&u8) -> R,
   |                   ^

For more information about this error, try `rustc --explain E0308`.
error: could not compile `playground` due to previous error

the note be provided by rustc makes me confused:

for<'r> <for<'r> fn(&'r u8) -> impl for<'r> Future<Output = bool> {fut} as FnOnce<(&'r u8,)>>
!=
for<'r> <for<'r> fn(&'r u8) -> impl for<'r> Future<Output = bool> {fut} as FnOnce<(&'r u8,)>>

[lukas-code]

This is #74497 / #102400 / #104285

The fix looks like this:

use std::future::Future;

async fn foo<'a, F, R>(f: F) -> bool
where
    F: Fn(&'a u8) -> R, // <- note explicit lifetime here
    R: Future<Output = bool>,
{
    todo!()
}

async fn bar() {
    foo(fut).await;
}

async fn fut(param: &u8) -> bool {
    todo!()
}

[ethe]

Thanks @lukas-code , explicit lifetime parameter is a practical walkaround, however I am looking to the reason of mismatching, issues you mention is really helpful to me.