{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"Rvalue::Use(Operand::Move(destination_local.into())),"}]}
                    Rvalue::Use(Operand::Move(destination_local.into())),
                    dest,
                ))),