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

Thu, 02 Aug 2012 18:22:41 +0100

author
mcimadamore
date
Thu, 02 Aug 2012 18:22:41 +0100
changeset 1296
cddc2c894cc6
parent 753
2536dedd897e
child 2525
2eb010b6cb22
permissions
-rw-r--r--

7175911: Simplify error reporting API in Check.CheckContext interface
Summary: Make error messages generated during Check.checkType more uniform and more scalable
Reviewed-by: jjg, dlsmith

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug     6638712
     4  * @author  mcimadamore
     5  * @summary Inference with wildcard types causes selection of inapplicable method
     6  * @compile/fail/ref=T6638712a.out -XDrawDiagnostics T6638712a.java
     7  */
     9 import java.util.*;
    11 class T6638712a {
    13     <T> Comparator<T> compound(Iterable<? extends Comparator<? super T>> it) { return null; }
    15     public void test(List<Comparator<?>> x) {
    16         Comparator<String> c3 = compound(x);
    17     }
    18 }

mercurial