From 36052ce1a1c19379d67600b49d42f2e09e0450a7 Mon Sep 17 00:00:00 2001
From: Wilco Kusee <wilcokusee@gmail.com>
Date: Sun, 26 Jul 2020 13:06:11 +0200
Subject: Lookup adt names

---
 crates/hir_ty/src/traits/chalk.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'crates')

diff --git a/crates/hir_ty/src/traits/chalk.rs b/crates/hir_ty/src/traits/chalk.rs
index 08c2c9a3e..17c83b6a4 100644
--- 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)
-- 
cgit v1.2.3