Struct ActiveBorrowV2 

pub struct ActiveBorrowV2 {
    pub borrower: VarId,
    pub kind: BorrowKind,
    pub start_line: u32,
    pub end_line: Option<u32>,
}

Represents an active borrow of a variable (V2 - uses VarId).

Fields

borrower: VarId

The variable that holds the borrow (the reference variable).

kind: BorrowKind

The kind of borrow.

start_line: u32

Line where the borrow started.

end_line: Option<u32>

Line where the borrow ended (None = still active).

Implementations

impl ActiveBorrowV2

pub fn new(borrower: VarId, kind: BorrowKind, start_line: u32) -> Self

Create a new active borrow.

pub fn is_active_at(&self, line: u32) -> bool

Check if this borrow is still active at the given line.

pub fn end_at(&mut self, line: u32)

End this borrow at the given line.

pub fn conflicts_with(&self, new_kind: BorrowKind, at_line: u32) -> bool

Check if this borrow conflicts with a new borrow.

Trait Implementations

impl Clone for ActiveBorrowV2

fn clone(&self) -> ActiveBorrowV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ActiveBorrowV2

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

Formats the value using the given formatter.

impl PartialEq for ActiveBorrowV2

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

impl StructuralPartialEq for ActiveBorrowV2