Type-safe

Full definition of type-safe

Adjective

1. (computing) Not susceptible to the class of programming errors that could lead to items of one data type being incorrectly treated as another type.Narrow performs a type-safe conversion into an instance of a subclass.''