Function loaded_files_as_view 

pub fn loaded_files_as_view(
    files: &[LoadedFile],
) -> Vec<(String, String, FileId)>

View the closure as (path, text, FileId) triples so the caller can construct SourceFile<'_> borrows.