hax_frontend_exporter::rustc_utils

Function read_span_from_file

source 
pub(crate) fn read_span_from_file(span: &Span) -> Result<String, ReadSpanErr>