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

[Jonathan M Davis]

On Monday, August 29, 2011 14:09 Mariusz Gliwiński wrote:
> <code>
> interface Interface {
> Interface method();
> }
> class Class : Interface {
> override Class method() {}
> }
> </code>
> 
> DMD complains it isn't overriding. How should it be according to
> specification, and how about making it legal?

It's _not_ overriding. It's implementing an interface method. Those are two 
totally different things. And I think that it's horrible that Java considers 
implementing an interface method as overriding it. I'd _hate_ to see that in 
D.

- Jonathan M Davis