[Issue 7337] subclasses without invariants don't check basisclass invariant after method

[d-bugmail at puremagic.com]

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


yebblies <yebblies at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
                 CC|                            |yebblies at gmail.com
           Platform|x86_64                      |All
         OS/Version|Linux                       |All


--- Comment #1 from yebblies <yebblies at gmail.com> 2012-01-30 03:11:53 EST ---
This is currently disabled in FuncDeclaration::addPostInvariant, and enabling
it causes a lot of error bugs in druntime and phobos, presumably due to issue
5039.  Once that bug is closed this will hopefully be a quick fix.

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