test/tools/javac/lambda/MethodReference70.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=MethodReference70.out -XDrawDiagnostics MethodReference70.java
     6  */
     7 class MethodReference70 {
     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) { }
    18     void m2(Integer i) { }
    19     void m2(String i) { }
    21     <Z> void g(F<Z> fz) { }
    22     <Z> void g(G<Z> gz) { }
    24     void test() {
    25          g(this::m1); //ok
    26          g(this::m2); //ambiguous (stuck!)
    27     }
    28 }

mercurial