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