https://issues.dlang.org/show_bug.cgi?id=7517
--- Comment #5 from [email protected] --- 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 --
