Comment by n42

Not if choosing statically checked memory safety sacrifices for correctness where it is a local optimum