> Because not every program that doesn't compile is necessarily invalid. I think that more programmers should be aware of this point. Rust doesn't reject code

> Because not every program that doesn't compile is necessarily invalid. I think that more programmers should be aware of this point. Rust doesn't reject code that will crash, it rejects code that it cannot prove won't crash. The code being rejected might be just fine (as numerous examples in the article showed).