[joehillen]

That is blatantly false. Type-safety can prove (as in a mathematical proof) that whole classes of bugs are impossible.