mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Lookup adt names

Browse source
This commit is contained in:
Wilco Kusee 2020-07-26 13:06:11 +02:00
parent 10c33275b0
commit 36052ce1a1
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
crates/hir_ty/src/traits/chalk.rs
View file

@ -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)