fn ensure_non_empty_span( source_map: &SourceMap, hir_info: &ExtractedHirInfo, span: Span, ) -> Option<Span>