What is the Rust borrow checker and how does it enforce safety?

The borrow checker statically enforces ownership and borrowing rules to prevent data races and invalid memory access.

The borrow checker operates at compile time using lifetime analysis. It ensures: (1) one mutable reference OR multiple immutable references, (2) references do not outlive data, (3) no dangling pointers. It models control flow to validate borrow validity across branches.