Tue, 01 Sep 2009 14:53:39 +0100
6650759: Inference of formal type parameter (unused in formal parameters) is not performed
Summary: propagate inference constraints from 15.12.2.7 to 15.12.2.8
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@299 | 13 | <T> Comparator<T> compound(Iterable<? extends Comparator<? super T>> it) {} |
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 | } |