{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"destination:"}]}
                destination: fut,
                args: [Spanned { node: Operand::Move(drop_arg), span: DUMMY_SP }].into(),
                target: Some(drop_term_bb),