{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"Rvalue::Cast(CastKind::PtrToPtr,"}]}
                    Rvalue::Cast(CastKind::PtrToPtr, Operand::Copy(dst), dst_cast_ty),
                    dst_cast_place,
                )));