Consider not allowing fn ptr comparison #463

Closed

Closed

Consider not allowing fn ptr comparison#463

Labels

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

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests