[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


deadalnix <deadalnix at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |deadalnix at gmail.com


--- Comment #1 from deadalnix <deadalnix at gmail.com> 2012-02-26 04:32:47 PST ---
User of Foo will expect that the output of the function is 0 (as mentionned in
the contract). Bar is violating Liskov's substitution principle.

I think you are confusing DbC with unit testing.

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