1
Fork 0

interpret: remove PartialOrd from a bunch of types that do not have or need a sensible order

This commit is contained in:
Ralf Jung 2022-11-26 10:10:34 +01:00
parent f8a2e491eb
commit 77071f7e3a
6 changed files with 8 additions and 8 deletions

View file

@ -173,7 +173,7 @@ impl Provenance for AllocId {
/// Represents a pointer in the Miri engine.
///
/// Pointers are "tagged" with provenance information; typically the `AllocId` they belong to.
#[derive(Copy, Clone, Eq, PartialEq, Ord, PartialOrd, TyEncodable, TyDecodable, Hash)]
#[derive(Copy, Clone, Eq, PartialEq, TyEncodable, TyDecodable, Hash)]
#[derive(HashStable)]
pub struct Pointer<Prov = AllocId> {
pub(super) offset: Size, // kept private to avoid accidental misinterpretation (meaning depends on `Prov` type)