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