test/tools/javac/lambda/MethodReference71.java

Wed, 17 Jul 2013 14:09:46 +0100

author
mcimadamore
date
Wed, 17 Jul 2013 14:09:46 +0100
changeset 1897
866c87c01285
parent 0
959103a6100f
permissions
-rw-r--r--

8016175: Add bottom-up type-checking support for unambiguous method references
Summary: Type-checking of non-overloaded method references should be independent from target-type
Reviewed-by: jjg, vromero

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug 8016175
     4  * @summary Add bottom-up type-checking support for unambiguous method references
     5  * @compile/fail/ref=MethodReference71.out -XDrawDiagnostics MethodReference71.java
     6  */
     7 class MethodReference71 {
     8     interface F<X> {
     9         void m(X x);
    10     }
    12     interface G<X> {
    13         Integer m(X x);
    14     }
    16     void m1(Integer i) { }
    17     void m2(Integer... i) { }
    19     <Z> void g(F<Z> f) { }
    20     <Z> void g(G<Z> g) { }
    22     void test() {
    23          g(this::m1); //ok
    24          g(this::m2); //ambiguous (stuck!)
    25     }
    26 }

mercurial