{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"[operand.clone()].into(),"}]}
                [operand.clone()].into(),
                Box::new(AggregateKind::Array(operand.ty(self.local_decls, self.tcx))),
            );