Re: [PATCH 0/3] rust_binder: fix unsoundness due to combining List::remove with mem:take