Logic bugs in fairness happens in all languages. My unproven theory is that the fewer the foot guns, the better it will be for humans and LLMs to generate.

If Rust's footguns are limited to getting past the borrow checker, and memory links with their reference counted memory structures, I'm all for it.

Once I've fought the language once I typically won't have to fight it again. This is my problem with C++.