{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"args:"}]}
                args: [dummy_spanned(Operand::Move(cor_ref_place))].into(),
                func: Operand::function_handle(tcx, pin_fn, [cor_ref.into()], span),
                destination: cor_pin_place,