Merge pull request #373 from zed-industries/empty-diagnostic-message

Filter out supporting diagnostics that contain no messages
This commit is contained in:
Antonio Scandurra
2022-01-27 10:12:13 +01:00
committed by GitHub

View File

@@ -912,7 +912,7 @@ impl Project {
});
if let Some(infos) = &diagnostic.related_information {
for info in infos {
if info.location.uri == params.uri {
if info.location.uri == params.uri && !info.message.is_empty() {
let range = range_from_lsp(info.location.range);
diagnostics.push(DiagnosticEntry {
range,