Struct miri::Item

pub struct Item(u64);

An item in the per-location borrow stack.

Tuple Fields

0: u64

Implementations

impl Item

pub fn new(tag: BorTag, perm: Permission, protected: bool) -> Self

pub fn tag(self) -> BorTag

The pointers the permission is granted to.

pub fn perm(self) -> Permission

The permission this item grants.

pub fn protected(self) -> bool

Whether or not there is a protector for this tag

pub fn set_permission(&mut self, perm: Permission)

Set the Permission stored in this Item

Trait Implementations

impl Clone for Item

fn clone(&self) -> Item

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Item

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Item

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Item> for Item

fn eq(&self, other: &Item) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Item

impl Eq for Item

impl StructuralEq for Item

impl StructuralPartialEq for Item

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes