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