Re: Return type deduction

[Timon Gehr via Digitalmars-d]

On 05.09.2016 12:25, Daniel Kozak via Digitalmars-d wrote:
Dne 5.9.2016 v 11:59 Andrea Fontana via Digitalmars-d napsal(a):
I asked this some time (years?) ago. Time for a second try :)

Consider this:

---

T simple(T)() { return T.init; }


void main()
{
    int test = simple!int(); // it compiles
    int test2 = simple();    // it doesn't
}

---

Is there any chance to implement this kind of deduction?
Please notice that it doesn't break any existing code, I guess.
...
Andrea

AFAIK this is impossible


It's a feature request. (Lambdas also do type deduction based on 
expected type, now just do the same during IFTI, as a fallback in case 
not enough information can be deduced from the arguments alone.)