Wrong lifetime is inferred in the argument of closure when given more specific type.

[oxalica]

I have lifetime bounds to a closure through a trait like this.

trait Closure<'t> {}
impl<'t, F: Fn(&'t ())> Closure<'t> for F {}

fn restrict_trait(_: impl Closure<'static>) {}

When I call restrict_trait(|r| ...), I'll get r: &'static () inside the closure. But when using restrict_trait(|r: &_| ...), the lifetime of r inferred is not 'static anymore.

Here is the detailed example