Borrow Checker

A static analysis component of the Rust compiler that tracks the scope and lifetime of references during compilation. It ensures that at any given time either multiple immutable references or exactly one mutable reference exist, and that references do not outlive the value they refer to.