Suboptimal interaction between lifetime oriented and value oriented type system in the presence of closures. about rust HOT 1 OPEN

fn main() {
    fn subparsing_lifetime<'arg, 'new>(in_function: &'arg Vec<&'arg str>) -> (&'new (), &'arg ()) {
        unreachable!()
    }
    let closure = |in_closure| subparsing_lifetime(&in_closure);
}

fn main() {
    fn subparsing_lifetime<'vec, 'str, 'new>(in_function: &'vec Vec<&'str str>) -> (&'new (), &'str ()) {
        unreachable!()
    }
    let closure = |in_closure| subparsing_lifetime(&in_closure);
}

fn accepts_vec_of_str<'arg, 'new>(arg: &'arg Vec<&'arg str>) -> (&'new (), &'arg ()) {
    fn subparsing_lifetime<'arg, 'new>(in_function: &'arg Vec<&'arg str>) -> (&'new (), &'arg ()) {
        unreachable!()
    }
    let closure = |in_closure: &'arg Vec<&'arg str>| subparsing_lifetime(&in_closure);

    closure(arg)
}