Tue, 23 Nov 2010 11:08:43 +0000
6995200: JDK 7 compiler crashes when type-variable is inferred from expected primitive type
Summary: 15.12.2.8 should use boxing when expected type in assignment context is a primitive type
Reviewed-by: jjg
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 }