This 100%. I've seen rust fans quote "correctness" without knowing what that word means, saying Rust gives it to you for free. It does NOT, and it conveys the wrong message.
This comment getting downvoted is everything wrong with HN.
Can you link to Rust fans saying Rust gives you correctness for free? I've seen the opposite-- Rust folks interested in proofs and property tests and fuzzing as well as what Rust gives you for free, which they understand is not "correctness".
This comment getting downvoted is everything wrong with HN.