{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"result_dest:"}]}
        result_dest: PlaceRef<'tcx, Self::Value>,
        args: &[OperandRef<'tcx, Self::Value>],
        span: Span,