Re: [PATCH 6.12.y] rust: allow Rust 1.87.0's `clippy::ptr_eq` lint