aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug 8016175
aoqi@0:  * @summary Add bottom-up type-checking support for unambiguous method references
aoqi@0:  * @compile/fail/ref=MethodReference71.out -XDrawDiagnostics MethodReference71.java
aoqi@0:  */
aoqi@0: class MethodReference71 {
aoqi@0:     interface F<X> {
aoqi@0:         void m(X x);
aoqi@0:     }
aoqi@0: 
aoqi@0:     interface G<X> {
aoqi@0:         Integer m(X x);
aoqi@0:     }
aoqi@0: 
aoqi@0:     void m1(Integer i) { }
aoqi@0:     void m2(Integer... i) { }
aoqi@0: 
aoqi@0:     <Z> void g(F<Z> f) { }
aoqi@0:     <Z> void g(G<Z> g) { }
aoqi@0: 
aoqi@0:     void test() {
aoqi@0:          g(this::m1); //ok
aoqi@0:          g(this::m2); //ambiguous (stuck!)
aoqi@0:     }
aoqi@0: }