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

[via Digitalmars-d-bugs]

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

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

Yes, please do.

--