Mixin templates vs interface files

[Jean-Louis Leroy via Digitalmars-d]

On Tuesday, 8 August 2017 at 01:04:30 UTC, Jean-Louis Leroy wrote:
> On Sunday, 6 August 2017 at 13:24:23 UTC, Jean-Louis Leroy 
> wrote:
>> Consider:
>>
>> // app.d
>>
>> [...]
>
> I see no reason why this() is kept and ~this() not. Should I 
> report this as a bug?

It seems to be happening here: 
https://github.com/dlang/dmd/blob/master/src/ddmd/hdrgen.d#L1982

Maybe

         if (hgs.hdrgen)
             return;

should read:

         if (hgs.hdrgen && !hgs.tpltMember)
             return;

When I make that change I get my static ~this in the .di file. 
Beyond that, I don't see the reason why 
visit(StaticDtorDeclaration d) is not a copy-paste of 
visit(StaticCtorDeclaration d) with one tilde added.

PR?