Borrow Checker & NLL Inspector

Observe how the compiler enforces compile-time reader/writer locks and computes Non-Lexical Lifetime live ranges across control flow branches.

Aliasing XOR Mutability Conflict Inspector

Observe how the compiler verifies reader/writer exclusion and non-lexical lifetime scopes.

Step 1 of 3Line 2

let mut data = vec![10, 20];

data is an owned, mutable vector initialized on stack.

Active Loans & Ownership StateRule: &T (many) XOR &mut T (1)

data

vec![10, 20]

Owned & Mutable

READY

Active Loan Registry

No active borrows held.

Shared Borrows (&T) Freeze State

When an immutable reference is active, the original value is read-locked (frozen). Neither the owner nor any other part of the program can mutate it until all shared loans expire.

Non-Lexical Lifetimes (NLL)

Borrows do not need to last until the closing curly brace }. NLL tracks the exact Control Flow Graph (CFG) line where the reference is last accessed.

Loading RustViz Engine...