{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"record!(self.tables.rendered_const[def_id.to_def_id()]"}]}
                        record!(self.tables.rendered_const[def_id.to_def_id()] <- const_data);
                        let const_data = rendered_const(self.tcx, &body, def_id);
                    }