{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
                // We have an inconsistency. This can happen if one of the two
            if old_hash != new_hash {
                // results is tainted by errors.