What is the meaning of Type-safe?

Not susceptible to the class of programming errors that could lead to items of one data type being incorrectly treated as another type.

Source: wiktionary.org