[Issue 6857] Precondition contract checks should be statically bound.

[d-bugmail at puremagic.com]

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


Andrei Alexandrescu <andrei at metalanguage.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrei at metalanguage.com
         Resolution|WONTFIX                     |INVALID


--- Comment #11 from Andrei Alexandrescu <andrei at 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: -------