test/tools/javac/generics/inference/6638712/T6638712d.java

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

mcimadamore@299 1 /*
jjg@384 2 * @test /nodynamiccopyright/
mcimadamore@299 3 * @bug 6638712 6730468
mcimadamore@299 4 * @author mcimadamore
mcimadamore@299 5 * @summary Inference with wildcard types causes selection of inapplicable method
mcimadamore@299 6 * @compile/fail/ref=T6638712d.out -XDrawDiagnostics T6638712d.java
mcimadamore@299 7 */
mcimadamore@299 8
mcimadamore@299 9 import java.util.*;
mcimadamore@299 10
mcimadamore@299 11 public class T6638712d {
mcimadamore@299 12
mcimadamore@299 13 <U> U m(U u, List<List<U>> list) { return null; }
mcimadamore@299 14
mcimadamore@299 15 void test(List<List<String>> lls) {
mcimadamore@299 16 m(1, lls);
mcimadamore@299 17 }
mcimadamore@299 18 }

mercurial