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


Andrei Alexandrescu <and...@metalanguage.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |and...@metalanguage.com
         Resolution|WONTFIX                     |INVALID


--- Comment #11 from Andrei Alexandrescu <and...@metalanguage.com> 2012-05-02 
16:40:01 PDT ---
>The current specification is flawed. It have nothing to do with how 
>inheritance work (and I could assure you I know what I'm talking about, and 
>I'm also pretty sure Timon knows also).

Mistakes happen to the best of us. In this case the specification is correct
and the bug report is in error. Derived classes may require less and provide
more, which in contract lingo translates into weaker "in" contracts and
stronger´┐Ż"out" contracts. This is not a matter in which reasonable people may
disagree and not a matter of opinion.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

Reply via email to