> 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.

Very true. Rust prevents some good code as well.

Also it doesn't guarantee that the code is always 100% correct.

But I think this is the correct direction of programming language evolution.