That Rust gives you correctness is very misleading claim.