Why is everyone always referring to logic errors when pushing back against Rust? No programming language ever invented (or to be invented) will fix logic errors made by developers.
Logic errors are "out of scope" for Rust or any other programming language.
The Rust type system helps you catch logic errors at compile time. Same with Haskell or Ocaml.