[Dlang-internal] di files vs CTFE

[Stefan Koch via Dlang-internal]

On Saturday, 5 August 2017 at 02:12:33 UTC, Jean-Louis Leroy 
wrote:
>
> I see...OTOH the compiler could resolve the return type when 
> generating the .di file, then the body would not be needed 
> anymore. I changed my registerMethods back from a template to 
> an auto function but I feel that I am in undocumented territory 
> here.

No, the header-generation is done before sema.
Therefore it cannot reslove anything.
That is not going to change.