diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2024-12-22 12:37:58 +0100 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2024-12-22 12:38:38 +0100 |
| commit | 2a977e0e92a9b8a233f01b0997ddd925007d4285 (patch) | |
| tree | 674364175081baf608b3d356963074edeb797c44 /src/tools/rust-analyzer/crates/hir-ty | |
| parent | 36455e9557f4c5c7af97916ab15d6bf9b090ace8 (diff) | |
| download | rust-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.rs | 11 |
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 }; |
