&gt; Logic bugs. Failure to correctly adapt imperative algorithms while still satisfying the constraint checkers.<p>Oh, also: If you&#x27;re implying that Rust&#x27;s ownership discipline can create security bugs where there were none before, I consider that a <i>real</i> stretch. I&#x27;d need to see an actual bug, or at least a bug concept, that Rust&#x27;s borrowing&#x2F;ownership rules <i>create</i> before accepting this.