{"ast_node_type":"impl","tokens":[{"end":62,"kind":"keyword","start":0,"text":")"}]}
) -> impl FnOnce(ClosureId, &Substitution, usize) -> Ty + '_ {
    db: &dyn HirDatabase,
    |c: ClosureId, subst: &Substitution, f: usize| {