&gt; It may be harder to write Rust code than Java code, but it’s <i>a lot harder</i> to write <i>incorrect</i> Rust code than <i>incorrect</i> Java code.<p>This. 10x.<p>And, if Rust&#x27;s type checker could be integrated with an SMT solver to statically verify array&#x2F;vector indexing (instead of performing bounds checks at runtime, or using unsafe code), that 10x would become 100x.