You are right, the programmer still has to think. But with builtin taint it's harder to overlook something because it forces you to consider everything. I have

You are right, the programmer still has to think. But with builtin taint it's harder to overlook something because it forces you to consider everything. I have a friend who is a long time C++ developer. Every time we discuss C++ he tells me that memory errors can be easily avoided in C++ if you have a certain level of competency. Someone still developed Rust because of this issue and it is popular.