Comment by TurboHaskal

> but when the program compiles, it works

That's not even true for languages with dependent types, which Rust lacks.