{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"ty::TyVar(vid)"}]}
                ty::TyVar(vid) => {
            match infer_ty {
                    if self.snapshot_vars.type_vars.0.contains(&vid) {