1/**
2 * @test /nodynamiccopyright/
3 * @bug 7086586
4 * @summary Inference producing null type argument
5 * @compile/fail/ref=T7086586.out -XDrawDiagnostics T7086586.java
6 */
7import java.util.List;
8
9class T7086586 {
10
11    <T> List<T> m(List<? super T> dummy) { return null; }
12
13    void test(List<?> l) {
14        String s = m(l).get(0);
15        Number n = m(l).get(0);
16        Exception e = m(l).get(0);
17        m(l).nonExistentMethod();
18    }
19}
20