{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":".display(self.db,"}]}
                                .display(self.db, self.display_target())
                            hir_display_with_store(&**p, self.body)
                                .to_string(),