Struct BorrowChecker 

pub struct BorrowChecker { /* private fields */ }

Compile-time borrow checker embedded in BytecodeCompiler.

Tracks active borrows per-slot and enforces aliasing rules. Borrows are scoped to regions (lexical scopes) and automatically released when their region exits.

Implementations

impl BorrowChecker

pub fn new() -> Self

Create a new borrow checker starting at region 0 (module_binding scope).

pub fn enter_region(&mut self) -> RegionId

Enter a new lexical scope (creates a new region).

pub fn exit_region(&mut self)

Exit the current lexical scope, releasing all borrows created in it.

pub fn current_region(&self) -> RegionId

Get the current region ID.

pub fn create_borrow( &mut self, slot: u16, ref_slot: u16, mode: BorrowMode, span: Span, source_location: Option<SourceLocation>, ) -> Result<(), ShapeError>

Create a borrow of slot into ref_slot.

If is_exclusive is true (callee mutates), enforces:

• No other borrows (shared or exclusive) exist for slot

If is_exclusive is false (callee reads only), enforces:

• No exclusive borrows exist for slot

pub fn check_write_allowed( &self, slot: u16, source_location: Option<SourceLocation>, ) -> Result<(), ShapeError>

Check whether a write to slot is allowed (fails if any borrow exists).

pub fn check_read_allowed( &self, slot: u16, source_location: Option<SourceLocation>, ) -> Result<(), ShapeError>

Check whether a direct read from slot is allowed.

Reads are blocked while the slot has an active exclusive borrow.

pub fn check_no_escape( &self, ref_slot: u16, source_location: Option<SourceLocation>, ) -> Result<(), ShapeError>

Check that a reference does not escape its scope. Called when a ref_slot might be returned or stored.

pub fn reset(&mut self)

Reset the borrow checker state (e.g., when entering a new function body).