Lookup adt names

detrumi · detrumi · commit 36052ce1a1c1 · 2020-08-14T11:43:11.000+02:00
diff --git a/crates/hir_ty/src/traits/chalk.rs b/crates/hir_ty/src/traits/chalk.rs
@@ -246,7 +246,8 @@ impl<'a> chalk_solve::RustIrDatabase<Interner> for ChalkContext<'a> {
     }
     // FIXME: lookup names
     fn adt_name(&self, struct_id: chalk_ir::AdtId<Interner>) -> String {
-        format!("Adt_{:?}", struct_id.0).replace("TypeCtorId(", "").replace(")", "")
+        let datum = self.db.struct_datum(self.krate, struct_id);
+        format!("{:?}", datum.name(&Interner))
     }
     fn assoc_type_name(&self, assoc_ty_id: chalk_ir::AssocTypeId<Interner>) -> String {
         format!("Assoc_{}", assoc_ty_id.0)

Original file line number	Diff line number	Diff line change
`@@ -246,7 +246,8 @@ impl<'a> chalk_solve::RustIrDatabase<Interner> for ChalkContext<'a> {`
`246`	`246`	`}`
`247`	`247`	`// FIXME: lookup names`
`248`	`248`	`fn adt_name(&self, struct_id: chalk_ir::AdtId<Interner>) -> String {`
`249`		`- format!("Adt_{:?}", struct_id.0).replace("TypeCtorId(", "").replace(")", "")`
	`249`	`+ let datum = self.db.struct_datum(self.krate, struct_id);`
	`250`	`+ format!("{:?}", datum.name(&Interner))`
`250`	`251`	`}`
`251`	`252`	`fn assoc_type_name(&self, assoc_ty_id: chalk_ir::AssocTypeId<Interner>) -> String {`
`252`	`253`	`format!("Assoc_{}", assoc_ty_id.0)`