Rust's borrow checker enforces strict rules on how memory is accessed and modified, ensuring that data races are prevented by allowing only one mutable reference or multiple immutable references to a piece of data at a time. This is achieved without a garbage collector by using compile-time checks to enforce ownership and borrowing rules, thus maintaining memory safety and concurrency correctness.

---