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

[Timon Gehr]

On 08/30/2011 05:49 PM, Christophe wrote:
> The fact that the code compile only if all interface methods are
> implemented does not imply that the programmer knows which method he
> implemented hooks and which does not.

interface I{
     void method();
}

class C: I{
     void method() {} // not a hook.
}