Jozef Hartinger Reading your forum entry also made me think of two more things.

Adding this more complex rule has an incremental burden and makes the already complex feature and spec even harder to understand.
Today you can add more constraints on return types of overridden methods. The sum of all constraints are taken into account. Barbara Liskov again.