>The thing is, one can write memory safe code in C.
One can generate safe C code. We have ample evidence that a human being can't sit down and write it.
One can generate safe C code. We have ample evidence that a human being can't sit down and write it.