fn all_coverage_in_mir_body<'a, 'tcx>(
    body: &'a Body<'tcx>
) -> impl Iterator<Item = &'a Coverage> + Captures<'tcx>