[Issue 7517] Interface contracts broken

[via Digitalmars-d-bugs]

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

--- Comment #5 from github-bugzilla at puremagic.com ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/5b7291428e22fd356df5e9540c093252152c854d
fix Issue 7517 - Interface contracts broken

https://github.com/D-Programming-Language/dmd/commit/65e058f5fdcc5c811f19c141eab25d67ed608925
Merge pull request #4794 from 9rnsr/fix7517

Issue 7517 - Interface contracts broken

--