pub fn report_diagnostics(files: &FilesSourceText, diags: Diagnostics) -> !