Enum BorrowStateV2 

pub enum BorrowStateV2 {
    Owned,
    SharedRef {
        source: VarId,
        start_line: u32,
    },
    MutRef {
        source: VarId,
        start_line: u32,
    },
    Moved {
        to: VarId,
        at_line: u32,
    },
    Dropped {
        at_line: u32,
    },
    Copied {
        to: VarId,
        at_line: u32,
    },
}

The ownership/borrow state of a variable (V2 - uses VarId).

Variants

Owned

Variable owns its value (T).

SharedRef

Variable is a shared reference (&T).

Fields

source: VarId

The variable being borrowed from.

start_line: u32

Line where the borrow started.

MutRef

Variable is a mutable reference (&mut T).

Fields

source: VarId

The variable being borrowed from.

start_line: u32

Line where the borrow started.

Moved

Ownership has been moved to another variable.

Fields

to: VarId

The variable that now owns the value.

at_line: u32

Line where the move occurred.

Dropped

Variable has been dropped (out of scope).

Fields

at_line: u32

Line where the drop occurred.

Copied

Copy semantics - value was copied, original still valid.

Fields

to: VarId

The variable that received the copy.

at_line: u32

Line where the copy occurred.

Implementations

impl BorrowStateV2

pub fn can_read(&self) -> bool

Check if the variable can be used (read).

pub fn can_mutate(&self) -> bool

Check if the variable can be mutated.

pub fn is_invalidated(&self) -> bool

Check if the variable has been invalidated (moved or dropped).

pub fn is_reference(&self) -> bool

Check if this is a reference (shared or mutable).

pub fn borrow_source(&self) -> Option<VarId>

Get the source variable if this is a reference.

Trait Implementations

impl Clone for BorrowStateV2

fn clone(&self) -> BorrowStateV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BorrowStateV2

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

Formats the value using the given formatter.

impl Default for BorrowStateV2

fn default() -> BorrowStateV2

Returns the “default value” for a type.

impl PartialEq for BorrowStateV2

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for BorrowStateV2

impl StructuralPartialEq for BorrowStateV2