Example Concept: Rust's ownership model, combined with its borrowing rules, ensures memory safety without a garbage collector. The compiler checks that data is accessed in a way that prevents data races by enforcing that only one mutable reference or multiple immutable references exist simultaneously. This compile-time check eliminates the possibility of data races, as it ensures that no two threads can modify the same data concurrently.