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

[d-bugmail at puremagic.com]

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

--- Comment #36 from Dlang Bot <dlang-bot at dlang.rocks> ---
@ibuclaw updated dlang/dmd pull request #7510 "fix Issue 6856 - Use in contract
from base class if not specified in derived" fixing this issue:

- fix Issue 6856 - Use in contract from base class if not specified in derived

https://github.com/dlang/dmd/pull/7510

--