Function stable_source_file_id_for_export 

fn stable_source_file_id_for_export(
    tcx: TyCtxt<'_>,
    sf: &SourceFile,
) -> StableSourceFileId