From 7bb6fdcf52ea1c468c7f3f0e602be7dabd07cd36 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Tue, 24 Sep 2019 18:27:31 +0200 Subject: Upgrade Chalk again --- crates/ra_hir/src/ty/traits/chalk.rs | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'crates/ra_hir') diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs index 2e17c00e4..462156021 100644 --- a/crates/ra_hir/src/ty/traits/chalk.rs +++ b/crates/ra_hir/src/ty/traits/chalk.rs @@ -385,7 +385,11 @@ where fn impl_datum(&self, impl_id: ImplId) -> Arc { self.db.impl_datum(self.krate, impl_id) } - fn impls_for_trait(&self, trait_id: chalk_ir::TraitId) -> Vec { + fn impls_for_trait( + &self, + trait_id: chalk_ir::TraitId, + _parameters: &[Parameter], + ) -> Vec { debug!("impls_for_trait {:?}", trait_id); if trait_id == UNKNOWN_TRAIT { return Vec::new(); @@ -415,8 +419,7 @@ where &self, projection: &'p chalk_ir::ProjectionTy, ) -> (Arc, &'p [Parameter], &'p [Parameter]) { - let proj_ty: ProjectionTy = from_chalk(self.db, projection.clone()); - debug!("split_projection {:?} = {}", projection, proj_ty.display(self.db)); + debug!("split_projection {:?}", projection); // we don't support GATs, so I think this should always be correct currently (self.db.associated_ty_data(projection.associated_ty_id), &projection.parameters, &[]) } -- cgit v1.2.3