Function incremental_verify_ich_not_green 

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