test/tools/javac/lambda/MethodReference48.java

Mon, 02 Sep 2013 22:38:36 +0100

author
vromero
date
Mon, 02 Sep 2013 22:38:36 +0100
changeset 2000
4a6acc42c3a1
parent 1415
01c9d4161882
child 2015
a4b9a8859e58
permissions
-rw-r--r--

8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com

mcimadamore@1415 1 /*
vromero@2000 2 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1415 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1415 4 *
mcimadamore@1415 5 * This code is free software; you can redistribute it and/or modify it
mcimadamore@1415 6 * under the terms of the GNU General Public License version 2 only, as
mcimadamore@1415 7 * published by the Free Software Foundation.
mcimadamore@1415 8 *
mcimadamore@1415 9 * This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1415 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1415 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1415 12 * version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1415 13 * accompanied this code).
mcimadamore@1415 14 *
mcimadamore@1415 15 * You should have received a copy of the GNU General Public License version
mcimadamore@1415 16 * 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1415 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1415 18 *
mcimadamore@1415 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1415 20 * or visit www.oracle.com if you need additional information or have any
mcimadamore@1415 21 * questions.
mcimadamore@1415 22 */
mcimadamore@1415 23
mcimadamore@1415 24 /*
mcimadamore@1415 25 * @test
mcimadamore@1415 26 * @bug 8003280
mcimadamore@1415 27 * @summary Add lambda tests
mcimadamore@1415 28 * check that raw qualifier in unbound method reference is inferred from descriptor
vromero@2000 29 * @compile/fail/ref=MethodReference48.out -XDrawDiagnostics MethodReference48.java
mcimadamore@1415 30 */
mcimadamore@1415 31 public class MethodReference48 {
mcimadamore@1415 32
mcimadamore@1415 33 static class Foo<X> {
mcimadamore@1415 34 X m() { return null; };
mcimadamore@1415 35 }
mcimadamore@1415 36
mcimadamore@1415 37 interface SAM1 {
mcimadamore@1415 38 Foo<Object> m(Foo<String> fs);
mcimadamore@1415 39 }
mcimadamore@1415 40
mcimadamore@1415 41 interface SAM2 {
mcimadamore@1415 42 Integer m(Foo<Integer> fi);
mcimadamore@1415 43 }
mcimadamore@1415 44
mcimadamore@1415 45 interface SAM3 {
mcimadamore@1415 46 Object m(Foo<Integer> fi);
mcimadamore@1415 47 }
mcimadamore@1415 48
vromero@2000 49 static void g1(SAM1 s) { } //return type not compatible
vromero@2000 50
vromero@2000 51 static void g2(SAM2 s) { } //ok
vromero@2000 52
vromero@2000 53 static void g3(SAM3 s) { } //ok
vromero@2000 54
vromero@2000 55 static void g4(SAM1 s) { } //return type not compatible
vromero@2000 56 static void g4(SAM2 s) { } //ok
vromero@2000 57 static void g4(SAM3 s) { } //ok
mcimadamore@1415 58
mcimadamore@1415 59 public static void main(String[] args) {
vromero@2000 60 g1(Foo::m);
vromero@2000 61 g2(Foo::m);
vromero@2000 62 g3(Foo::m);
vromero@2000 63 g4(Foo::m);
mcimadamore@1415 64 }
mcimadamore@1415 65 }

mercurial