{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"self.diverging_type_vars.borrow_mut().insert(a.target);"}]}
                        self.diverging_type_vars.borrow_mut().insert(a.target);
                    if a.target.is_ty_var() {
                        debug!("apply_adjustments: adding `{:?}` as diverging type var", a.target);