{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"incremental_verify_ich_failed(tcx,"}]}
        incremental_verify_ich_failed(tcx, prev_index, &|| format_value(result));
    if new_hash != old_hash {
    }