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

Mon, 16 Aug 2010 14:58:10 +0100

author
mcimadamore
date
Mon, 16 Aug 2010 14:58:10 +0100
changeset 635
dc550520ed6f
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

6369605: Unconstrained type variables fails to include bounds
Summary: unconstrained type-variables with recursive bounds are not inferred properly
Reviewed-by: jjg

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug     6638712 6730468
     4  * @author  mcimadamore
     5  * @summary Inference with wildcard types causes selection of inapplicable method
     6  * @compile/fail/ref=T6638712d.out -XDrawDiagnostics T6638712d.java
     7  */
     9 import java.util.*;
    11 public class T6638712d {
    13     <U> U m(U u, List<List<U>> list) { return null; }
    15     void test(List<List<String>> lls) {
    16         m(1, lls);
    17     }
    18 }

mercurial