fn incremental_verify_ich_not_green<Tcx>(
    tcx: Tcx,
    prev_index: SerializedDepNodeIndex
)where
    Tcx: DepContext,