Is all this Invarient **** er... stuff, premature optimisation?

[Lionello Lunesu]

"Walter Bright" <newshound1 at digitalmars.com> wrote in message 
news:48169E90.6050700 at digitalmars.com...
> Me Here wrote:
>> Janice Caron wrote:
>>> Functions don't overload on return value.
>> They don't? Why not? Seems like a pretty obvious step to me.
>
> Type inference in D is done "bottom up". Doing overloading based on 
> function return type is "top down". Trying to get both schemes to coexist 
> is a hard problem.

But a function's result can be overloaded using "out", so why can't it be 
overloaded using the return value?

Can't the compiler treat a return value as an implicit out argument?

L.