Scala is type-safe, but type-safe with escape hatches (which every good language has sometimes, when the programmer knows the truth of theorems the type-checker can't prove). It also has an undecidable type system, but then, so does half of everything nowadays.
It isn't even about "escape hatches". There are programs that can be written without any special language features that will cause class cast exceptions. Please do your research.
