> The whole point of the borrow checker is to make it impossible to write wrong code. > In 2026 we need guarantees that we can't produce invalid code. Rust do

> The whole point of the borrow checker is to make it impossible to write wrong code. > In 2026 we need guarantees that we can't produce invalid code. Rust doesn't provide either of those guarantees. If I were to rephrase your sentiment for accuracy: Rust disallows certain coding patterns. Certain classes of bugs can only appear in those coding patterns. IOW, Rust disallows $FOO which is a superset of "specific class of errors". This means that while Rust prevents specific bugs, as a side-effect it will also prevent some correct code.