[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

[d-bugmail at puremagic.com]

https://d.puremagic.com/issues/show_bug.cgi?id=6856


timon.gehr at gmx.ch changed:

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

Bug 6856 depends on bug 11835, which changed state.

Bug 11835 Summary: Assert not thrown from contract
https://d.puremagic.com/issues/show_bug.cgi?id=11835

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE

--- Comment #34 from timon.gehr at gmx.ch 2013-12-29 16:40:55 PST ---
*** Issue 11835 has been marked as a duplicate of this issue. ***

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