[sealeck]

I think the idea that "if Rust compiles then it works" is very untrue, especially for non-trivial software.