There certainly are languages that can provably ensure all cases are handled.

Have a look at ATS.