{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"vars"}]}
                vars => {
                [var] => FunType::Single(var.local.ty(ctx.db())),
                    let types = vars.iter().map(|v| v.local.ty(ctx.db())).collect();