Type inference works incorrectly with HRTB and closures

[oxalica]

I'm trying to make an alias for a trait with HRTB. But it causes type (lifetime of the argument) mismatch when working with closures.

Weirdly, when I write the hint _: &_, which seems hint nothing about lifetimes, it works again.

Here's the detail.

https://play.rust-lang.org/?gist=0fb0af047d432f2aa06782152661507a&version=nightly&mode=debug

[vitalyd]

See #41078

[oxalica]

Yeah, the compiler inferred some lifetime but not forall lifetime.

But it confused me that if I move the bound out of trait, like check2(), all of them work well.

[Mark-Simulacrum]

Yes, I believe this is a duplicate of #41078. Thanks!