test/tools/javac/lambda/MostSpecific04.java

Fri, 30 May 2014 12:54:16 +0200

author
jlahoda
date
Fri, 30 May 2014 12:54:16 +0200
changeset 2410
e64bb2f5f0cf
parent 2000
4a6acc42c3a1
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8031967: For some sources compiler compiles for ever
Summary: Avoid creating DeferredTypes for method calls with method calls as receivers if the site can be determined reliably
Reviewed-by: mcimadamore, vromero
Contributed-by: maurizio.cimadamore@oracle.com, jan.lahoda@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 * Structural most specific doesn't handle cases with wildcards in functional interfaces
vromero@2000 29 * @compile/fail/ref=MostSpecific04.out -XDrawDiagnostics MostSpecific04.java
mcimadamore@1415 30 */
mcimadamore@1415 31 public class MostSpecific04 {
mcimadamore@1415 32
mcimadamore@1415 33 interface DoubleMapper<T> {
mcimadamore@1415 34 double map(T t);
mcimadamore@1415 35 }
mcimadamore@1415 36
mcimadamore@1415 37 interface LongMapper<T> {
mcimadamore@1415 38 long map(T t);
mcimadamore@1415 39 }
mcimadamore@1415 40
mcimadamore@1415 41 static class MyList<E> {
vromero@2000 42 void map(DoubleMapper<? super E> m) { }
vromero@2000 43 void map(LongMapper<? super E> m) { }
mcimadamore@1415 44 }
mcimadamore@1415 45
mcimadamore@1415 46 public static void main(String[] args) {
mcimadamore@1415 47 MyList<String> ls = new MyList<String>();
vromero@2000 48 ls.map(e->e.length()); //ambiguous - implicit
vromero@2000 49 ls.map((String e)->e.length()); //ok
mcimadamore@1415 50 }
mcimadamore@1415 51 }

mercurial