hax_frontend_exporter::rustc_utils

Function translate_span

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