Can safe statically typed languages do away with dynamic checks?

Some checks may be impossible at compile time, like bound checks and divide-by-zero checks, so dynamic checks are necessary.