{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"let"}]}
        let InternedClosure(def, _) = db.lookup_intern_closure(c.into());
    |c: ClosureId, subst: &Substitution, f: usize| {
        let infer = db.infer(def);