Type safety defination:

In computer science, a programming language is type safe when the language does not permit the programmer to treat a value as a type to which it does not belong. Type safety requires that well-typed programs have no unspecified behaviour (i.e., their semantics are complete). Note that type safety is a property of the programming language, and not of the programs themselves.