aoqi@0: /*
aoqi@0:  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
aoqi@0:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0:  *
aoqi@0:  * This code is free software; you can redistribute it and/or modify it
aoqi@0:  * under the terms of the GNU General Public License version 2 only, as
aoqi@0:  * published by the Free Software Foundation.
aoqi@0:  *
aoqi@0:  * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
aoqi@0:  * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0:  * accompanied this code).
aoqi@0:  *
aoqi@0:  * You should have received a copy of the GNU General Public License version
aoqi@0:  * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0:  *
aoqi@0:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0:  * or visit www.oracle.com if you need additional information or have any
aoqi@0:  * questions.
aoqi@0:  */
aoqi@0: 
aoqi@0: /*
aoqi@0:  * @test
aoqi@0:  * @bug 8008813
aoqi@0:  * @summary Structural most specific fails when method reference is passed to overloaded method
aoqi@0:  * @compile/fail/ref=MostSpecific08.out -XDrawDiagnostics MostSpecific08.java
aoqi@0:  */
aoqi@0: class MostSpecific08 {
aoqi@0: 
aoqi@0:     static class C {
aoqi@0:         int getInt() { return -1; }
aoqi@0:         Integer getInteger() { return -1; }
aoqi@0:     }
aoqi@0: 
aoqi@0:     interface IntResult { }
aoqi@0:     interface ReferenceResult<X> { }
aoqi@0: 
aoqi@0:     interface PrimitiveFunction {
aoqi@0:         int f(C c);
aoqi@0:     }
aoqi@0: 
aoqi@0:     interface ReferenceFunction<X> {
aoqi@0:         X f(C c);
aoqi@0:     }
aoqi@0: 
aoqi@0:     interface Tester {
aoqi@0:         IntResult apply(PrimitiveFunction p);
aoqi@0:         <Z> ReferenceResult<Z> apply(ReferenceFunction<Z> p);
aoqi@0:     }
aoqi@0: 
aoqi@0:     void testMref(Tester t) {
aoqi@0:         IntResult pr = t.apply(C::getInt); //ok - unoverloaded mref
aoqi@0:         ReferenceResult<Integer> rr = t.apply(C::getInteger); //ok - unoverloaded mref
aoqi@0:     }
aoqi@0: 
aoqi@0:     void testLambda(Tester t) {
aoqi@0:         IntResult pr1 = t.apply(c->c.getInt()); //ambiguous - implicit
aoqi@0:         IntResult pr2 = t.apply((C c)->c.getInt()); //ok
aoqi@0:         ReferenceResult<Integer> rr1 = t.apply(c->c.getInteger()); //ambiguous - implicit
aoqi@0:         ReferenceResult<Integer> rr2 = t.apply((C c)->c.getInteger()); //ok
aoqi@0:     }
aoqi@0: }