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.