[timschmidt]

How quickly can you verify the memory safety of that C program in addition to compiling it though? When comparing like to like, C no longer looks so fast.

[gkbrk]

Rust code with unsafe still compiles slowly. And safe subsets of C still compile quickly.

[timschmidt]

That is exactly the opposite of my experience.