Function emit_results_counts_and_checkpoints 

pub(crate) fn emit_results_counts_and_checkpoints<'tcx>(
    tcx: TyCtxt<'tcx>,
    all_results: &[PropertyCheckResult<'tcx>],
) -> (usize, usize)