{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"TyKind::Closure(id,"}]}
                TyKind::Closure(id, subst) => closure_field(*id, subst, *f),
            ProjectionElem::ClosureField(f) => match &base.kind(Interner) {
                _ => {