test/tools/javac/generics/inference/6638712/T6638712b.java

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

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 }

mercurial