Um... you keep using that expression "type safety"... I do not think it means what you think it means. Breaking an unstated contract in an overriden method has

Um... you keep using that expression "type safety"... I do not think it means what you think it means. Breaking an unstated contract in an overriden method has absolutely nothing to do with tye safety.