How does Rust prevent undefined behavior in safe code?

Rust eliminates UB in safe code via strict ownership, borrowing, and lifetime rules.

Undefined behavior is restricted to unsafe blocks. Safe Rust enforces invariants like no dangling references, no data races, and initialized memory access. This shifts correctness guarantees to compile time.