http://d.puremagic.com/issues/show_bug.cgi?id=6857
Andrei Alexandrescu <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] Resolution|WONTFIX |INVALID --- Comment #11 from Andrei Alexandrescu <[email protected]> 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: -------
