Enum rustc_mir::borrow_check::AccessDepth

pub(in borrow_check) enum AccessDepth {
    Shallow(Option<ArtificialField>),
    Deep,
    Drop,
}

Variants

Shallow(Option<ArtificialField>)

From the RFC: "A shallow access means that the immediate fields reached at P are accessed, but references or pointers found within are not dereferenced. Right now, the only access that is shallow is an assignment like x = ...;, which would be a shallow write of x."

Deep

From the RFC: "A deep access means that all data reachable through the given place may be invalidated or accesses by this action."

Drop

Access is Deep only when there is a Drop implementation that can reach the data behind the reference.

Trait Implementations

impl Clone for AccessDepth

pub fn clone(&self) -> AccessDepth

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for AccessDepth

impl Debug for AccessDepth

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

Formats the value using the given formatter.

impl Eq for AccessDepth

impl PartialEq<AccessDepth> for AccessDepth

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

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

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

This method tests for !=.

impl StructuralEq for AccessDepth

impl StructuralPartialEq for AccessDepth