fn extract_hole_spans_from_hir<'tcx>( tcx: TyCtxt<'tcx>, body_span: Span, hir_body: &Body<'tcx>, ) -> Vec<Span>