It is the perfect kind of right-think. Impossible to wrong-think via the compiler. If only social media had such a checker, many a government would be happy.
Discussion
It's literally like filling a tax declaration. Compiler knows what is right, you have to figure out what is right. And if you fill the form wrong, you get a fine.
I get it for super low level code - memory safe without garbage collection. But very little code is super low level. People rewrite everything in rust now and it's horrible.
Let's go back to LISP! Or python. On anything but C and rust really.