I am not sure if Rust advocates tell that it will "magically" fix logic errors. What I hear they say is rather more precise terms: Stronger Type system, and memory safety, forcing more explicit design (e.g. no function overload). Whether this is true or not is another discussion to have.
In my experience, it helps to have stronger type system regardless of any language of comparison if you want to avoid logic errors.
In my experience, it helps to have stronger type system regardless of any language of comparison if you want to avoid logic errors.