Struct miri::Item

pub struct Item(/* private fields */);

An item in the per-location borrow stack.

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 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 StructuralPartialEq for Item