{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"*any_unifications"}]}
            *any_unifications = false;
        if *any_unifications {
            // Manually inlined `self.unification_table_mut()` as `self` is used in the closure.