diff options
Diffstat (limited to 'crates/ra_hir/src/ty/traits')
-rw-r--r-- | crates/ra_hir/src/ty/traits/chalk.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs index 1e1b6f406..5105588ee 100644 --- a/crates/ra_hir/src/ty/traits/chalk.rs +++ b/crates/ra_hir/src/ty/traits/chalk.rs | |||
@@ -273,8 +273,9 @@ where | |||
273 | id, | 273 | id, |
274 | name: lalrpop_intern::intern(&type_alias.name(self.db).to_string()), | 274 | name: lalrpop_intern::intern(&type_alias.name(self.db).to_string()), |
275 | parameter_kinds, | 275 | parameter_kinds, |
276 | bounds: vec![], // FIXME | 276 | // FIXME add bounds and where clauses |
277 | where_clauses: vec![], // FIXME | 277 | bounds: vec![], |
278 | where_clauses: vec![], | ||
278 | }; | 279 | }; |
279 | Arc::new(datum) | 280 | Arc::new(datum) |
280 | } | 281 | } |
@@ -429,13 +430,12 @@ where | |||
429 | .filter_map(|t| { | 430 | .filter_map(|t| { |
430 | let assoc_ty = trait_.associated_type_by_name(self.db, t.name(self.db))?; | 431 | let assoc_ty = trait_.associated_type_by_name(self.db, t.name(self.db))?; |
431 | let ty = self.db.type_for_def(t.into(), crate::Namespace::Types).subst(&bound_vars); | 432 | let ty = self.db.type_for_def(t.into(), crate::Namespace::Types).subst(&bound_vars); |
432 | debug!("ty = {}", ty.display(self.db)); | ||
433 | Some(chalk_rust_ir::AssociatedTyValue { | 433 | Some(chalk_rust_ir::AssociatedTyValue { |
434 | impl_id, | 434 | impl_id, |
435 | associated_ty_id: assoc_ty.to_chalk(self.db), | 435 | associated_ty_id: assoc_ty.to_chalk(self.db), |
436 | value: chalk_ir::Binders { | 436 | value: chalk_ir::Binders { |
437 | value: chalk_rust_ir::AssociatedTyValueBound { ty: ty.to_chalk(self.db) }, | 437 | value: chalk_rust_ir::AssociatedTyValueBound { ty: ty.to_chalk(self.db) }, |
438 | binders: vec![], // FIXME add generic params (generic associated types) | 438 | binders: vec![], // we don't support GATs yet |
439 | }, | 439 | }, |
440 | }) | 440 | }) |
441 | }) | 441 | }) |