{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"Aggregate(box"}]}
            Aggregate(box ref kind, ref operands) => {
                self.write_aggregate(kind, operands, &dest)?;