You'll get a compile error when rustc can statically prove that it'll overflow (as in your example above). That is generally not possible. The correct answer i

You'll get a compile error when rustc can statically prove that it'll overflow (as in your example above). That is generally not possible. The correct answer is what shepmaster said in a sibling comment.