&gt; And this does not mean that the compiler is preventing unsafety; there are many safe programs that the compiler rejects.<p>Two nits:<p>1. The compiler <i>does</i> prevent safety problems. It just happens to rule out some safe programs while doing so. (Although I think this is a bit of a misconception, because with the aliasing rules being used for optimization many things that the Rust compiler rejects that people think are safe are actually not.)<p>2. You can describe any type system this way. That doesn&#x27;t mean we don&#x27;t like type systems.