don't automatically dismiss zero width diagnostics (#9280)

pull/9291/head
Pascal Kuthe 11 months ago committed by GitHub
parent 20b91fd99a
commit 4da6191a1c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1222,18 +1222,23 @@ impl Document {
}; };
(&mut diagnostic.range.start, assoc) (&mut diagnostic.range.start, assoc)
})); }));
changes.update_positions(self.diagnostics.iter_mut().map(|diagnostic| { changes.update_positions(self.diagnostics.iter_mut().filter_map(|diagnostic| {
if diagnostic.zero_width {
// for zero width diagnostics treat the diagnostic as a point
// rather than a range
return None;
}
let assoc = if diagnostic.ends_at_word { let assoc = if diagnostic.ends_at_word {
Assoc::AfterWord Assoc::AfterWord
} else { } else {
Assoc::Before Assoc::Before
}; };
(&mut diagnostic.range.end, assoc) Some((&mut diagnostic.range.end, assoc))
})); }));
self.diagnostics.retain_mut(|diagnostic| { self.diagnostics.retain_mut(|diagnostic| {
if diagnostic.range.start > diagnostic.range.end if diagnostic.zero_width {
|| (!diagnostic.zero_width && diagnostic.range.start == diagnostic.range.end) diagnostic.range.end = diagnostic.range.start
{ } else if diagnostic.range.start >= diagnostic.range.end {
return false; return false;
} }
diagnostic.line = self.text.char_to_line(diagnostic.range.start); diagnostic.line = self.text.char_to_line(diagnostic.range.start);

Loading…
Cancel
Save