Function pointer comparison is non-deterministic in practice: https://github.com/rust-lang/rust/issues/54685. So maybe miri shouldn't allow it.