aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r--crates/ra_hir/src/ty/traits/chalk.rs8
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 })