DMD producing huge binaries

[Andrei Alexandrescu via Digitalmars-d]

On 05/21/2016 03:13 PM, Kagamin wrote:
> On Saturday, 21 May 2016 at 18:18:21 UTC, Andrei Alexandrescu wrote:
>> He said that that won't happen any longer, the growth was because of
>> the return type. Is that correct?
>
> https://issues.dlang.org/show_bug.cgi?id=15831#c4
> Looks like growth is due to the fact that the voldemort type is in the
> scope of a function and function is fun!(T).fun(T) - hence each level
> multiplies by 2. And return type is not part of the mangled name already
> - that would cause circular dependency, you would need the voldemort
> type mangling to generate it.

Just to make sure I understand: do you agree or disagree that there's no 
more exponential growth if we encode "auto return" in the mangling? Thx! 
-- Andrei