aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/traits/chalk.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/ty/traits/chalk.rs')
-rw-r--r--crates/ra_hir/src/ty/traits/chalk.rs7
1 files changed, 4 insertions, 3 deletions
diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs
index 21055dcfd..e669f835b 100644
--- a/crates/ra_hir/src/ty/traits/chalk.rs
+++ b/crates/ra_hir/src/ty/traits/chalk.rs
@@ -402,11 +402,12 @@ where
402 &self, 402 &self,
403 projection: &'p chalk_ir::ProjectionTy, 403 projection: &'p chalk_ir::ProjectionTy,
404 ) -> (Arc<AssociatedTyDatum>, &'p [Parameter], &'p [Parameter]) { 404 ) -> (Arc<AssociatedTyDatum>, &'p [Parameter], &'p [Parameter]) {
405 debug!("split_projection {:?}", projection); 405 let proj_ty: ProjectionTy = from_chalk(self.db, projection.clone());
406 unimplemented!() 406 debug!("split_projection {:?} = {}", projection, proj_ty.display(self.db));
407 // we don't support GATs, so I think this should always be correct currently
408 (self.db.associated_ty_data(projection.associated_ty_id), &projection.parameters, &[])
407 } 409 }
408 fn custom_clauses(&self) -> Vec<chalk_ir::ProgramClause> { 410 fn custom_clauses(&self) -> Vec<chalk_ir::ProgramClause> {
409 debug!("custom_clauses");
410 vec![] 411 vec![]
411 } 412 }
412 fn all_structs(&self) -> Vec<chalk_ir::StructId> { 413 fn all_structs(&self) -> Vec<chalk_ir::StructId> {