add version support to textDocument/publishDiagnostics

Author: dearfl

pyrefly/lib/lsp/non_wasm/server.rs

@@ -267,11 +267,17 @@ impl ServerConnection {
         ));
     }
 
-    fn publish_diagnostics(&self, diags: SmallMap<PathBuf, Vec<Diagnostic>>) {
+    fn publish_diagnostics(
+        &self,
+        diags: SmallMap<PathBuf, Vec<Diagnostic>>,
+        version_info: &HashMap<PathBuf, i32>,
+    ) {
         for (path, diags) in diags {
             let path = std::fs::canonicalize(&path).unwrap_or(path);
             match Url::from_file_path(&path) {
-                Ok(uri) => self.publish_diagnostics_for_uri(uri, diags, None),
+                Ok(uri) => {
+                    self.publish_diagnostics_for_uri(uri, diags, version_info.get(&path).copied())
+                }
                 Err(_) => eprint!("Unable to convert path to uri: {path:?}"),
             }
         }
@@ -1154,7 +1160,8 @@ impl Server {
                     diags.entry(path.to_owned()).or_default().push(diag);
                 }
             }
-            self.connection.publish_diagnostics(diags);
+            self.connection
+                .publish_diagnostics(diags, &*self.version_info.lock());
         };
 
         match possibly_committable_transaction {
@@ -1493,6 +1500,7 @@ impl Server {
         let uri = params.text_document.uri.to_file_path().unwrap();
         self.version_info.lock().remove(&uri);
         self.open_files.write().remove(&uri);
+        // TODO: should we use the last version or None?
         self.connection
             .publish_diagnostics_for_uri(params.text_document.uri, Vec::new(), None);
         let state = self.state.dupe();