{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"record_array!(self.tables.attributes[def_id.to_def_id()]"}]}
        record_array!(self.tables.attributes[def_id.to_def_id()] <- attr_iter);