{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"f.set(TypeVariableFlags::DIVERGING,"}]}
            f.set(TypeVariableFlags::DIVERGING, diverging);
        self.modify_type_variable_flag(iv, |f| {
        });