hax_frontend_exporter::rustc_utils

Function translate_span

Source 
pub fn translate_span(span: Span, sess: &Session) -> Span