diff --git a/src/Server.zig b/src/Server.zig index 213b87e..7e6d252 100644 --- a/src/Server.zig +++ b/src/Server.zig @@ -819,6 +819,9 @@ fn saveDocumentHandler(server: *Server, notification: types.DidSaveTextDocumentP } fn closeDocumentHandler(server: *Server, notification: types.DidCloseTextDocumentParams) error{}!void { + // cached type info may point to a closed handle + server.analyser.invalidate(); + server.document_store.closeDocument(notification.textDocument.uri); }