{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"args:"}]}
                args: [].into(),
                func: Operand::Copy(self.dummy_place.clone()),
                destination: self.dummy_place.clone(),