[Issue 2565] Should be able to use an inherited method as interface implementation

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=2565


smjg at iname.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |smjg at iname.com
           Severity|normal                      |enhancement
            Summary|Interface methods need to be|Should be able to use an
                   |implemented even if base    |inherited method as
                   |class already have them     |interface implementation
                   |impelemented                |




------- Comment #5 from smjg at iname.com  2009-01-07 15:23 -------
I think the reason for this design is to prevent accidental implementation of
an interface by an inherited method with completely different semantics.

So, AISI, it should be possible to use an inherited method that happens to have
the required name as an interface implementation, including in the case where
the inherited method is final, but the means should be explicit.

Issue 502 already describes one possibility.


--