1/*
2 * Copyright (c) 2016, 2017, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24/*
25 * @test
26 * @bug 8143852
27 * @summary Rename functional interface method type parameters during most specific test
28 */
29public class MostSpecific17 {
30
31    public static void main(String[] args) {
32        new MostSpecific17().test();
33    }
34
35    interface A<T> {}
36    interface B<T> extends A<T> {}
37
38    interface F1 { <X> A<? super X> apply(Object arg); }
39    interface F2 { <Y> B<? super Y> apply(Object arg); }
40
41    static void m1(F1 f) {
42        throw new AssertionError("Less-specific method invocation.");
43    }
44    static void m1(F2 f) {}
45
46    static B<Object> foo(Object in) { return null; }
47
48    void test() {
49        m1(MostSpecific17::foo);
50    }
51}
52