fn compute_block_span(data: &BasicBlockData<'_>, body_span: Span) -> Span