There is no undefined behaviour in Safe Rust. You're right about Unsafe Rust of course.