https://issues.dlang.org/show_bug.cgi?id=12344
Issue 12344 depends on issue 6549, which changed state.

Issue 6549 Summary: Implement contracts without implementation. https://issues.dlang.org/show_bug.cgi?id=6549

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--

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

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #1 from Dlang Bot <dlang-bot@dlang.rocks> ---
@dkorpel created dlang/dmd pull request #13943 "Fix Issue 12344 - .di generation doesn't include contracts in interfaces" fixing this issue:

- Fix Issue 12344 - .di generation doesn't include contracts in interfaces

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

--

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

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #13943 "Fix Issue 12344 - .di generation doesn't include contracts in interfaces" was merged into master:

- d42016e159126e21125fdbd7ffb9c4bf0376d732 by Dennis Korpel:
  Fix Issue 12344 - .di generation doesn't include contracts in interfaces

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

--