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

[d-bugmail at puremagic.com]

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


Walter Bright <bugzilla at digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla at digitalmars.com
         Resolution|                            |INVALID


--- Comment #6 from Walter Bright <bugzilla at digitalmars.com> 2012-05-02 18:13:18 PDT ---
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.

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