{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"self.modify_type_variable_flag(root,"}]}
            self.modify_type_variable_flag(root, |f| {
            let root = self.var_unification_table.inference_var_root(v);
                *f |= TypeVariableFlags::DIVERGING;