Re-sort diagnostics after transaction transform (#3895)

Applying document-change transactions to diagnostic ranges is not stable
with respect to the ordering of diagnostics. This can cause diagnostics
to become temporarily unordered with some edits to a document, which can
eventually break some invariants/assumptions in syntax::merge.

With this change, Document::diagnostics are always sorted.
This commit is contained in:
Michael Davis 2022-09-20 02:08:58 -05:00 committed by GitHub
parent 947ff63e6d
commit 8988c1ecc7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -788,6 +788,8 @@ impl Document {
diagnostic.range.end = changes.map_pos(diagnostic.range.end, Assoc::After);
diagnostic.line = self.text.char_to_line(diagnostic.range.start);
}
self.diagnostics
.sort_unstable_by_key(|diagnostic| diagnostic.range);
// emit lsp notification
if let Some(language_server) = self.language_server() {