chore: remove a finished todo (#1320) (#1334)

This commit is contained in:
Myriad-Dreamin 2025-02-20 00:49:55 +08:00 committed by GitHub
parent 497c82588d
commit cb51d67e7d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -526,7 +526,6 @@ impl CompileHandler<LspCompilerFeat, ProjectInsStateExt> for CompileHandlerImpl
}
fn status(&self, revision: usize, id: &ProjectInsId, rep: CompileReport) {
// todo: we need to manage the revision for fn status() as well
{
let mut n_revs = self.status_revision.lock();
let n_rev = n_revs.entry(id.clone()).or_default();