[Issue 8027] in contract is never checked for overrided functions

[d-bugmail at puremagic.com]

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


timon.gehr at gmx.ch changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|DUPLICATE                   |INVALID


--- Comment #2 from timon.gehr at gmx.ch 2012-05-03 14:35:25 PDT ---
Oops, actually this is not a duplicate, it is just invalid.
This is how precondition inheritance is supposed to work. (a>0 && b>0 suffices
as a condition for the inheriting class to need to accept the input, therefore
the additional in-contract is not even checked.)

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