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

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=7337

Adrien Pensart <crunchengine at gmail.com> changed:

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

--- Comment #2 from Adrien Pensart <crunchengine at gmail.com> ---
(In reply to yebblies from comment #1)
> 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.

I just tried to re-enable it, everything seems ok after the issue 5039
resolution, no error in druntime or phobos appeared in a simple build.

Can I create a mini pull request ?

--