{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"if"}]}
        if diverging {
        let flags = self.type_variable_table.get_mut(var.index() as usize).unwrap();
            *flags |= TypeVariableFlags::DIVERGING;