Re: [PATCH v7 0/7] rust: reduce `as` casts, enable related lints