method returning child, doesn't overrides declared method returning parent

[Timon Gehr]

On 08/30/2011 07:50 PM, Steven Schveighoffer wrote:
>
> We could find cases like this all day.
>
> Make I a class, and this problem also occurs.
>
> Without the compiler having access to the *changes* it cannot be perfect
> in detecting refactoring errors.
>
> -Steve

Chances are that it will detect more errors if "override" actually means 
override.