pub(crate) fn incremental_verify_ich<Tcx, V>(
    tcx: Tcx,
    dep_graph_data: &DepGraphData<Tcx::Deps>,
    result: &V,
    prev_index: SerializedDepNodeIndex,
    hash_result: Option<fn(_: &mut StableHashingContext<'_>, _: &V) -> Fingerprint>,
    format_value: fn(_: &V) -> String
)where
    Tcx: DepContext,