@@ -709,7 +709,16 @@ impl Application {
712− let doc = self.editor.document_by_path_mut(&path);
712+ let doc = self.editor.document_by_path_mut(&path).filter(|doc| {
713+ if let Some(version) = params.version {
714+ if version != doc.version() {
715+ log::info!("Version ({version}) is out of date for {path:?} (expected ({}), dropping PublishDiagnostic notification", doc.version());
714 if let Some(doc) = doc {
723 if let Some(doc) = doc {
715 let lang_conf = doc.language_config();
724 let lang_conf = doc.language_config();