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

[Ali Ebrahimi]

Hi again maurizio,
if i comment u(Sam2) method then we have one answer u(Sam1), correct?

in that case, we woud have u(Sam1<String>) or u(Sam1<TargetType60>)?

I think in any case this is not correct.

u(Sam1<String>)   => TargetType60 s2 = u(TargetType60::n1);
method u returns String and not compatible with TargetType60.

u(Sam1<TargetType60>) => we missed n1 String parameter and fail at runtime.



    interface Sam1<X> {
        void m(X x);
    }

void n1(String s) { }

static <U> U u(Sam1<U> s) {    s.m((U)null)     return null; }

static void testUnbound() {
         TargetType60 s2 = u(TargetType60::n1);
}

main question: what is receiver of this method reff passed to u(Sam1)?

Best Regards,
Ali Ebrahimi

On Fri, Feb 22, 2013 at 1:58 AM, Maurizio Cimadamore <
maurizio.cimadamore at oracle.com> wrote:

>  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> 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
>>
>>
>>
>
>