hg: lambda/lambda/langtools: 8008537: Missing method reference lookup error when unbound search finds a static method

[Maurizio Cimadamore]

On 21/02/13 21:16, Ali Ebrahimi wrote:
> Hi maurizio,
>
> are you sure this is ambiguous? I don't think so. (u(Sam2)  is not 
> only answer?)
>
> TargetType60 s2 = u(TargetType60::n1); //ambiguous (u(Sam1), u(Sam2) 
> apply)
They both apply - turned out I've misread the spec - the fact that the 
method is static/non-static should not affect outcome of method 
reference resolution. So, if target type has parameters P1 ... Pn, we do 
two lookups:

*) one (bound) with P1 ... Pn
*) one (unbound) with P2 ... Pn

The first lookup will cause the match in u(Sam1), while the second 
lookup will match u(Sam2). Hence the ambiguity.

Maurizio
>
>
> Best Regards,
> Ali Ebrahimi
>
> On Wed, Feb 20, 2013 at 11:49 PM, <maurizio.cimadamore at oracle.com 
> <mailto:maurizio.cimadamore at oracle.com>> wrote:
>
>     Changeset: 66476d1c5e64
>     Author:    mcimadamore
>     Date:      2013-02-20 19:19 +0000
>     URL:
>     http://hg.openjdk.java.net/lambda/lambda/langtools/rev/66476d1c5e64
>
>     8008537: Missing method reference lookup error when unbound search
>     finds a static method
>
>     ! src/share/classes/com/sun/tools/javac/comp/Attr.java
>     ! src/share/classes/com/sun/tools/javac/comp/Resolve.java
>     ! src/share/classes/com/sun/tools/javac/resources/compiler.properties
>     ! test/tools/javac/diags/examples.not-yet.txt
>     ! test/tools/javac/diags/examples/NonStaticCantBeRefFragment.java
>     ! test/tools/javac/lambda/MethodReference22.java
>     ! test/tools/javac/lambda/MethodReference22.out
>     ! test/tools/javac/lambda/MethodReference28.out
>     ! test/tools/javac/lambda/MethodReference51.out
>     ! test/tools/javac/lambda/TargetType60.java
>     ! test/tools/javac/lambda/TargetType60.out
>
>
>