{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"*destination,"}]}
                    *destination,
                mir::StatementKind::Assign(Box::new((
                    mir::Rvalue::Use(mir::Operand::Copy(