{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"ty::Infer(ty::TyVar(found_vid))"}]}
            ty::Infer(ty::TyVar(found_vid)) => {
        match *ty.kind() {
                self.root_var(expected_vid) == self.root_var(found_vid)