{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"self.inner.borrow_mut().type_variables().equate(target_vid,"}]}
            self.inner.borrow_mut().type_variables().equate(target_vid, generalized_vid);
        if let &ty::Infer(ty::TyVar(generalized_vid)) = generalized_ty.kind() {
        } else {