Mon, 21 Jan 2013 20:13:56 +0000
8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
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=T6638712b.out -XDrawDiagnostics T6638712b.java
7 */
9 class T6638712b<X> {
11 <I extends T6638712b<T>, T> T m(I test) { return null; }
13 void test(T6638712b<Integer> x) {
14 String i = m(x);
15 }
16 }