&gt; I&#x27;d submit it doesn&#x27;t create them... it reveals them. They&#x27;ve always been there.<p>Hopefully, but not necessarily. Any (decidable) type system rejects well-typed programs (i.e., it &quot;uncovers&quot; problems that are <i>not</i> actually there), and the borrow checker is no exception. You will write some correct Rust programs that the borrow-checker just can&#x27;t verify. This means that you will need to explain yourself in more detail (through more work) to the type checker, even though there was no mistake in your program. I think this is a good thing (depending on your requirements), but it isn&#x27;t free.