Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
LSP: Properly discard out-of-date diagnostics
Previously the `filter` caused the diagnostics to not be attached to the document - which is good - but the out-of-date diagnostics were still inserted into the global (editor-wide) diagnostic set. Instead we should completely discard out-of-date diagnostics.
- Loading branch information