Re: [PATCH 5/5] rust: cleanup unnecessary casts