about summary refs log tree commit diff
path: root/src/tools/rust-analyzer/crates/hir-ty
diff options
context:
space:
mode:
authorLukas Wirth <lukastw97@gmail.com>2024-12-22 12:37:58 +0100
committerLukas Wirth <lukastw97@gmail.com>2024-12-22 12:38:38 +0100
commit2a977e0e92a9b8a233f01b0997ddd925007d4285 (patch)
tree674364175081baf608b3d356963074edeb797c44 /src/tools/rust-analyzer/crates/hir-ty
parent36455e9557f4c5c7af97916ab15d6bf9b090ace8 (diff)
downloadrust-2a977e0e92a9b8a233f01b0997ddd925007d4285.tar.gz
rust-2a977e0e92a9b8a233f01b0997ddd925007d4285.zip
fix: Fix empty check diagnostics not marking files as changed
Diffstat (limited to 'src/tools/rust-analyzer/crates/hir-ty')
-rw-r--r--src/tools/rust-analyzer/crates/hir-ty/src/chalk_db.rs11
1 files changed, 1 insertions, 10 deletions
diff --git a/src/tools/rust-analyzer/crates/hir-ty/src/chalk_db.rs b/src/tools/rust-analyzer/crates/hir-ty/src/chalk_db.rs
index 53795c0b600..55d0edd5e0c 100644
--- a/src/tools/rust-analyzer/crates/hir-ty/src/chalk_db.rs
+++ b/src/tools/rust-analyzer/crates/hir-ty/src/chalk_db.rs
@@ -22,7 +22,6 @@ use hir_def::{
 
 use crate::{
     db::{HirDatabase, InternedCoroutine},
-    display::HirDisplay,
     from_assoc_type_id, from_chalk_trait_id, from_foreign_def_id,
     generics::generics,
     make_binders, make_single_type_binders,
@@ -823,13 +822,12 @@ pub(crate) fn impl_datum_query(
     let _p = tracing::info_span!("impl_datum_query").entered();
     debug!("impl_datum {:?}", impl_id);
     let impl_: hir_def::ImplId = from_chalk(db, impl_id);
-    impl_def_datum(db, krate, impl_id, impl_)
+    impl_def_datum(db, krate, impl_)
 }
 
 fn impl_def_datum(
     db: &dyn HirDatabase,
     krate: CrateId,
-    chalk_id: ImplId,
     impl_id: hir_def::ImplId,
 ) -> Arc<ImplDatum> {
     let trait_ref = db
@@ -850,13 +848,6 @@ fn impl_def_datum(
     };
     let where_clauses = convert_where_clauses(db, impl_id.into(), &bound_vars);
     let negative = impl_data.is_negative;
-    debug!(
-        "impl {:?}: {}{} where {:?}",
-        chalk_id,
-        if negative { "!" } else { "" },
-        trait_ref.display(db, db.crate_graph()[krate].edition),
-        where_clauses
-    );
 
     let polarity = if negative { rust_ir::Polarity::Negative } else { rust_ir::Polarity::Positive };