23 |
23 |
24 // key: compiler.misc.infer.no.conforming.instance.exists |
24 // key: compiler.misc.infer.no.conforming.instance.exists |
25 // key: compiler.err.prob.found.req.1 |
25 // key: compiler.err.prob.found.req.1 |
26 |
26 |
27 class IncompatibleTypes1<V> { |
27 class IncompatibleTypes1<V> { |
28 <T extends Integer & Runnable> IncompatibleTypes1<T> m() { |
28 <T> IncompatibleTypes1<Integer> m() { |
29 return null; |
29 return null; |
30 } |
30 } |
31 |
31 |
32 IncompatibleTypes1<? super String> o = m(); |
32 IncompatibleTypes1<? extends String> o = m(); |
33 } |
33 } |