{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"self.result.type_of_pat.insert(pat,"}]}
        self.result.type_of_pat.insert(pat, ty);
    fn write_pat_ty(&mut self, pat: PatId, ty: Ty) {
    }