Return type deduction

Walter Bright via Digitalmars-d digitalmars-d at
Mon Sep 5 16:22:50 PDT 2016

On 9/5/2016 2:59 AM, Andrea Fontana wrote:
> Is there any chance to implement this kind of deduction?

No. Types are resolved bottom-up, not top-down. Trying to do both may not even 
be doable in the general case, it certainly makes for all kinds of complexity. 
It makes a soup out of overload resolution, for example.

More information about the Digitalmars-d mailing list