swift234

Give _0 a dependent type and use type inference to determine what it is based on context.  Still some "bottom up" type inference logic missing, and we don't infer all the types in the expression tree of things like:
func6((_0 4) + _0);

yet.


Swift SVN r121