async fn maybe_publish( client: &Client, source_map: &mut HashMap<FileID, DiagnosticState>, uri: FileID, err: Vec<ErrorInfo>, timestamp: u64, )