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