Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2025-01-11 20:58:54 +00:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #18826 from Veykril/push-qnsqormwlwqm

Browse source 
fix: Clear flycheck diagnostics per package properly
This commit is contained in:
Lukas Wirth 2025-01-03 12:26:33 +00:00 committed by GitHub
commit ce6053cbd6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 21 additions and 36 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

57
crates/rust-analyzer/src/flycheck.rs
View file

@ -1,10 +1,11 @@
//! Flycheck provides the functionality needed to run `cargo check` to provide
//! LSP diagnostics based on the output of the command.
use std::{fmt, io, mem, process::Command, time::Duration};
use std::{fmt, io, process::Command, time::Duration};
use cargo_metadata::PackageId;
use crossbeam_channel::{select_biased, unbounded, Receiver, Sender};
use ide_db::FxHashSet;
use paths::{AbsPath, AbsPathBuf, Utf8PathBuf};
use rustc_hash::FxHashMap;
use serde::Deserialize as _;
@ -231,13 +232,7 @@ struct FlycheckActor {
command_handle: Option<CommandHandle<CargoCheckMessage>>,
/// The receiver side of the channel mentioned above.
command_receiver: Option<Receiver<CargoCheckMessage>>,
package_status: FxHashMap<Arc<PackageId>, DiagnosticReceived>,
}
#[derive(PartialEq, Eq, Copy, Clone, Debug)]
enum DiagnosticReceived {
Yes,
No,
diagnostics_cleared_for: FxHashSet<Arc<PackageId>>,
}
#[allow(clippy::large_enum_variant)]
@ -267,7 +262,7 @@ impl FlycheckActor {
manifest_path,
command_handle: None,
command_receiver: None,
package_status: FxHashMap::default(),
diagnostics_cleared_for: Default::default(),
}
}
@ -344,16 +339,16 @@ impl FlycheckActor {
error
);
}
if self.package_status.is_empty() {
if self.diagnostics_cleared_for.is_empty() {
tracing::trace!(flycheck_id = self.id, "clearing diagnostics");
// We finished without receiving any diagnostics.
// That means all of them are stale.
// Clear everything for good measure
self.send(FlycheckMessage::ClearDiagnostics {
id: self.id,
package_id: None,
});
} else {
self.send_clear_diagnostics();
self.diagnostics_cleared_for.clear();
}
self.report_progress(Progress::DidFinish(res));
@ -367,9 +362,18 @@ impl FlycheckActor {
"artifact received"
);
self.report_progress(Progress::DidCheckCrate(msg.target.name));
self.package_status
.entry(Arc::new(msg.package_id))
.or_insert(DiagnosticReceived::No);
let package_id = Arc::new(msg.package_id);
if self.diagnostics_cleared_for.insert(package_id.clone()) {
tracing::trace!(
flycheck_id = self.id,
package_id = package_id.repr,
"clearing diagnostics"
);
self.send(FlycheckMessage::ClearDiagnostics {
id: self.id,
package_id: Some(package_id),
});
}
}
CargoCheckMessage::Diagnostic { diagnostic, package_id } => {
tracing::trace!(
@ -379,10 +383,7 @@ impl FlycheckActor {
"diagnostic received"
);
if let Some(package_id) = &package_id {
if let None | Some(DiagnosticReceived::No) = self
.package_status
.insert(package_id.clone(), DiagnosticReceived::Yes)
{
if self.diagnostics_cleared_for.insert(package_id.clone()) {
tracing::trace!(
flycheck_id = self.id,
package_id = package_id.repr,
@ -417,23 +418,7 @@ impl FlycheckActor {
command_handle.cancel();
self.command_receiver.take();
self.report_progress(Progress::DidCancel);
self.send_clear_diagnostics();
}
}
fn send_clear_diagnostics(&mut self) {
for (package_id, status) in mem::take(&mut self.package_status) {
if let DiagnosticReceived::No = status {
tracing::trace!(
flycheck_id = self.id,
package_id = package_id.repr,
"clearing diagnostics"
);
self.send(FlycheckMessage::ClearDiagnostics {
id: self.id,
package_id: Some(package_id),
});
}
self.diagnostics_cleared_for.clear();
}
}