[Issue 7584] contract checking is too conservative for inherited contracts

d-bugmail at puremagic.com d-bugmail at puremagic.com
Thu May 3 02:19:36 PDT 2012


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



--- Comment #7 from timon.gehr at gmx.ch 2012-05-03 02:20:30 PDT ---
(In reply to comment #6)
> Out contracts are "anded" together, meaning that *all* out contracts must pass
> in an inheritance hierarchy. Out contracts in overriding functions do not
> override the out contract in the overridden function, nor are they at all
> associated with any in contracts.

The point here was that they should be. Why should the method work hard to
satisfy the postcondition, if the caller fails to satisfy the corresponding
precondition?

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


More information about the Digitalmars-d-bugs mailing list