type-safe

listen to the pronunciation of type-safe
Englisch - Englisch
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.''.