Enum rustc_mir::borrow_check::AccessDepth

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

fn clone(&self) -> AccessDepth

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AccessDepth

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

Formats the value using the given formatter.

impl PartialEq<AccessDepth> for AccessDepth

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

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

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

This method tests for !=.

impl Copy for AccessDepth

impl Eq for AccessDepth

impl StructuralEq for AccessDepth

impl StructuralPartialEq for AccessDepth

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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