translate_span

hax_frontend_exporter::rustc_utils

Function translate_span 

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