What is type safety?