From 71abe140b570f0247af0563466fc06a8a1116986 Mon Sep 17 00:00:00 2001
From: Rafal Chlodnicki <rafal@squareup.com>
Date: Fri, 12 Jan 2024 12:19:58 +0100
Subject: [PATCH 1/2] fix: out of date diagnostics after closing and re-opening
 a file

---
 src/diagnostic-queue.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/diagnostic-queue.ts b/src/diagnostic-queue.ts
index a7630724..5adacad9 100644
--- a/src/diagnostic-queue.ts
+++ b/src/diagnostic-queue.ts
@@ -106,6 +106,7 @@ export class DiagnosticEventQueue {
         const uri = this.client.toResource(file).toString();
         const diagnosticsForFile = this.diagnostics.get(uri);
         diagnosticsForFile?.onDidClose();
+        this.diagnostics.delete(uri);
     }
 
     /**

From c724c2417a75b67755b851403975510a141da179 Mon Sep 17 00:00:00 2001
From: Rafal Chlodnicki <rafal@squareup.com>
Date: Fri, 12 Jan 2024 14:56:27 +0100
Subject: [PATCH 2/2] clear diagnostics before closing

---
 src/diagnostic-queue.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/diagnostic-queue.ts b/src/diagnostic-queue.ts
index 5adacad9..4d8d98b0 100644
--- a/src/diagnostic-queue.ts
+++ b/src/diagnostic-queue.ts
@@ -50,8 +50,8 @@ class FileDiagnostics {
     }
 
     public onDidClose(): void {
-        this.publishDiagnostics();
         this.diagnosticsPerKind.clear();
+        this.publishDiagnostics();
         this.closed = true;
     }