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