[andoriyu]

Well, Rust (or any language) won't prevent business logic bugs.

> Or does the author mean "works" in that it runs where an interpreted language would not (i.e, syntax error)?

More than that, but close. i.e. you won't get NPE from java. Syntax error or type mismatch from interpreted language.

In addition, NewType pattern will stop you from passing seconds into a function that takes ms and vice versa. You won't get data races. You also won't get an `undefined is not an object`.

Long story short, due to language verbosity it's hard to make logical mistakes.