return type and templates

[Jonathan M Davis]

On Friday, November 22, 2013 15:20:30 Timon Gehr wrote:
> On 11/22/2013 02:50 PM, Dicebot wrote:
> > On Friday, 22 November 2013 at 13:43:49 UTC, Andrea Fontana wrote:
> >> I assumed that it knows - when is trying to instatiate s.value
> >> template - that "s.value" is part of an assignment and that it will be
> >> assigned to an int.
> > 
> > This is somewhat wrong part. "s.value" is distinct separate expression
> > that must be evaluated by compiler on its own before proceeding. The
> > fact that it is later used in assignment expression is not know at that
> > moment.
> 
> Lambda parameter type deduction needs to know this too.

I believe that the only cases where the compiler uses the left-hand side of of 
an assignment or initialization to determine anything about the type of the 
right-hand side is when the right-hand side is a literal (be it a lambda 
literal, array literal, or some other kind of literal).

- Jonathan M Davis