{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"ty::InferTy::TyVar(vid)"}]}
                        ty::InferTy::TyVar(vid) => {
                    match infer_ty {
                            !self.probe_ty_var(vid).is_err_and(|_| self.root_var(vid) == vid)