test/tools/javac/generics/inference/6315770/T6315770.java

changeset 0
959103a6100f
child 2525
2eb010b6cb22
equal deleted inserted replaced
-1:000000000000 0:959103a6100f
1 /**
2 * @test /nodynamiccopyright/
3 * @bug 6315770
4 * @summary javac inference allows creation of strange types: Integer & Runnable
5 * @author Maurizio Cimadamore
6 *
7 * @compile/fail/ref=T6315770.out T6315770.java -XDrawDiagnostics
8 */
9
10 class T6315770<V> {
11 <T extends Integer & Runnable> T6315770<T> m() {
12 return null;
13 }
14 void test() {
15 T6315770<?> c1 = m();
16 T6315770<? extends String> c2 = m();
17 T6315770<? super String> c3 = m();
18 }
19 }

mercurial