diff options
Diffstat (limited to 'crates/ra_hir/src/ty/traits/chalk.rs')
-rw-r--r-- | crates/ra_hir/src/ty/traits/chalk.rs | 7 |
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> { |