langtools/test/tools/javac/generics/inference/7086586/T7086586b.java
changeset 24293 0d889f759fac
parent 10634 7f15f5a11ae9
equal deleted inserted replaced
24292:12414a72f8d2 24293:0d889f759fac
    21  * questions.
    21  * questions.
    22  */
    22  */
    23 
    23 
    24 /*
    24 /*
    25  * @test
    25  * @test
    26  * @bug 7086586
    26  * @bug 7086586 8033718
    27  *
    27  *
    28  * @summary Inference producing null type argument
    28  * @summary Inference producing null type argument; inference ignores capture
       
    29  *          variable as upper bound
    29  */
    30  */
    30 import java.util.List;
    31 import java.util.List;
    31 
    32 
    32 public class T7086586b {
    33 public class T7086586b {
    33 
    34 
    38             throw new AssertionError();
    39             throw new AssertionError();
    39         }
    40         }
    40         assertionCount++;
    41         assertionCount++;
    41     }
    42     }
    42 
    43 
    43     <T> void m(List<? super T> dummy) { assertTrue(false); }
    44     <T> void m(List<? super T> dummy) { assertTrue(true); }
    44     <T> void m(Object dummy) { assertTrue(true); }
    45     <T> void m(Object dummy) { assertTrue(false); }
    45 
    46 
    46     void test(List<?> l) {
    47     void test(List<?> l) {
    47         m(l);
    48         m(l);
    48         assertTrue(assertionCount == 1);
    49         assertTrue(assertionCount == 1);
    49     }
    50     }