[FreeFull]

I imagine depending on the assumptions, the same could happen in Rust, given Rust allows overriding equality too.

[Retra]

Most of the time in rust, you can just `#[derive(Eq)]` and be done with it, so those kinds of things are far less likely.