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


timon.g...@gmx.ch changed:

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


--- Comment #2 from timon.g...@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: -------

Reply via email to