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