Fri, 16 Sep 2011 14:16:11 +0100
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 }