> That is not true by definition alone. It is only true if you add the corollary that the patterns which rustc prevents are sometimes bug-free code. That corol

> That is not true by definition alone. It is only true if you add the corollary that the patterns which rustc prevents are sometimes bug-free code. That corollary is only required in the cases that a pattern is unable to produce bug-free code. In practice, there isn't a pattern that reliably, 100% of the time and deterministically produces a bug.