Enum miri::borrow_tracker::tree_borrows::tree::AccessRelatedness

pub enum AccessRelatedness {
    This,
    StrictChildAccess,
    AncestorAccess,
    DistantAccess,
}

Relative position of the access

Variants

This

The accessed pointer is the current one

StrictChildAccess

The accessed pointer is a (transitive) child of the current one.

AncestorAccess

The accessed pointer is a (transitive) parent of the current one.

DistantAccess

The accessed pointer is neither of the above.

Implementations

impl AccessRelatedness

pub fn is_foreign(self) -> bool

Check that access is either Ancestor or Distant, i.e. not a transitive child (initial pointer included).

pub fn for_child(self) -> Self

Given the AccessRelatedness for the parent node, compute the AccessRelatedness for the child node. This function assumes that we propagate away from the initial access.

Trait Implementations

impl Clone for AccessRelatedness

fn clone(&self) -> AccessRelatedness

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AccessRelatedness

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

Formats the value using the given formatter.

impl PartialEq<AccessRelatedness> for AccessRelatedness

fn eq(&self, other: &AccessRelatedness) -> 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 AccessRelatedness

impl Eq for AccessRelatedness

impl StructuralEq for AccessRelatedness

impl StructuralPartialEq for AccessRelatedness

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: 1 byte

Size for each variant:

• This: 0 bytes
• StrictChildAccess: 0 bytes
• AncestorAccess: 0 bytes
• DistantAccess: 0 bytes