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