test/tools/javac/Diagnostics/6862608/T6862608a.java

Fri, 16 Sep 2011 14:16:11 +0100

author
mcimadamore
date
Fri, 16 Sep 2011 14:16:11 +0100
changeset 1093
c0835c8489b0
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

7086586: Inference producing null type argument
Summary: Inference should fail in 15.12.2.7 when inference variables with 'nulltype' upper bounds are found
Reviewed-by: dlsmith

     1 /**
     2  * @test /nodynamiccopyright/
     3  * @bug     6862608
     4  * @summary rich diagnostic sometimes contain wrong type variable numbering
     5  * @author  mcimadamore
     6  * @compile/fail/ref=T6862608a.out -XDrawDiagnostics -XDdiags=disambiguateTvars,where T6862608a.java
     7  */
    10 import java.util.*;
    12 class T6862608a {
    14     <T> Comparator<T> compound(Iterable<? extends Comparator<? super T>> it) {
    15         return null;
    16     }
    18     public void test(List<Comparator<?>> x) {
    19         Comparator<String> c3 = compound(x);
    20     }
    21 }

mercurial