elided-lifetime-in-path-in-impl-Fn.rs

//@ check-pass

struct Foo<'a>(&'a ());

fn with_fn() -> fn(Foo) {
    |_| ()
}

fn with_impl_fn() -> impl Fn(Foo) {
    |_| ()
}

fn with_where_fn<T>()
where
    T: Fn(Foo),
{
}

fn main() {}

// ferrocene-annotations: fls_l9ebxrlxyawd
// Lifetime Elision
//
// ferrocene-annotations: fls_hethxxbcg7ja
// Function Lifetime Elision