1
Fork 0

avoid pairing up AllocId and PointerTag, which is redundant

This commit is contained in:
Ralf Jung 2022-04-18 10:00:42 -04:00
parent 54ab357a5b
commit c9e568f72e
3 changed files with 43 additions and 23 deletions

View file

@ -163,6 +163,9 @@ pub struct Pointer<Tag = AllocId> {
}
static_assert_size!(Pointer, 16);
// `Option<Tag>` pointers are also passed around quite a bit
// (but not stored in permanent machine state).
static_assert_size!(Pointer<Option<AllocId>>, 16);
// We want the `Debug` output to be readable as it is used by `derive(Debug)` for
// all the Miri types.