hax_
frontend_
exporter
0.1.0-rc.1
In hax_
frontend_
exporter::
rustc
hax_frontend_exporter
::
rustc
Function
translate_span
Copy item path
source
pub fn translate_span(span:
Span
, sess: &
Session
) ->
Span