{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"Rvalue::Use(Operand::Constant(Box::new(ConstOperand"}]}
                                Rvalue::Use(Operand::Constant(Box::new(ConstOperand {
                                *destination,
                                    span: terminator.source_info.span,