hg: lambda/lambda/langtools: Target-type inference fixes:

[maurizio.cimadamore at oracle.com]

Changeset: 9a1ae3fc0a88
Author:    mcimadamore
Date:      2010-11-12 12:49 +0000
URL:       http://hg.openjdk.java.net/lambda/lambda/langtools/rev/9a1ae3fc0a88

Target-type inference fixes:
*) Outcome of target-type inference depends on the context in which the lambda is used (assignment vs. method invocation context) when it shouldn't
*) Trial attribution of lambda body leaves stale results in AST in case of overload resolution which leads to bad resolution and spurious diagnostics
*) Spurious inference errors when synthetic types of lambda parameters depend on uninferred generic method type-args

! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/Check.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
! test/tools/javac/lambda/TargetType01.out
! test/tools/javac/lambda/TargetType15.java
+ test/tools/javac/lambda/TargetType16.java
+ test/tools/javac/lambda/TargetType16.out