{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"}"}]}
    }
        self.db.trait_signature(id).name.display(self.db, self.edition()).to_string()
    fn adt_name(&self, chalk_ir::AdtId(adt_id): AdtId) -> String {