> When I wrote "98% safe code" I meant the code that can be automatically verified by the compiler. I wish the terminology was better. That depends on what is

> When I wrote "98% safe code" I meant the code that can be automatically verified by the compiler. I wish the terminology was better. That depends on what is meant by "automatically verified by the compiler". The compiler cannot generally verify outside-unsafe code that modifies invariants that inside-unsafe code might rely on to have memory safety, for instance.