Keep track of recently finished requests

This is only used so we don't log an error when receiving a `CancelRequestNotification` for a request that has just returned a response.

Author: ahoppen

Sources/SourceKitLSP/SourceKitLSPServer.swift

@@ -176,10 +176,22 @@ public actor SourceKitLSPServer {
   /// Used to cancel the tasks if the client requests cancellation.
   private var inProgressRequests: [RequestID: Task<(), Never>] = [:]
 
+  /// Up to 10 request IDs that have recently finished.
+  ///
+  /// This is only used so we don't log an error when receiving a `CancelRequestNotification` for a request that has
+  /// just returned a response.
+  private var recentlyFinishedRequests: [RequestID] = []
+
   /// - Note: Needed so we can set an in-progress request from a different
   ///   isolation context.
   private func setInProgressRequest(for id: RequestID, task: Task<(), Never>?) {
     self.inProgressRequests[id] = task
+    if task == nil {
+      recentlyFinishedRequests.append(id)
+      while recentlyFinishedRequests.count > 10 {
+        recentlyFinishedRequests.removeFirst()
+      }
+    }
   }
 
   var onExit: () -> Void
@@ -1191,16 +1203,15 @@ extension SourceKitLSPServer {
     // Since the request is very cheap to execute and stops other requests
     // from performing more work, we execute it with a high priority.
     cancellationMessageHandlingQueue.async(priority: .high) {
-      guard let task = await self.inProgressRequests[notification.id] else {
+      if let task = await self.inProgressRequests[notification.id] {
+        task.cancel()
+        return
+      }
+      if await !self.recentlyFinishedRequests.contains(notification.id) {
         logger.error(
-          """
-          Cannot cancel request \(notification.id, privacy: .public) because it hasn't been scheduled for execution \
-          yet or because the request already returned a response
-          """
+          "Cannot cancel request \(notification.id, privacy: .public) because it hasn't been scheduled for execution yet"
         )
-        return
       }
-      task.cancel()
     }
   }