1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6278587 8007464
4 * @summary Inference broken for subtypes of subtypes of F-bounded types
5 * @author Peter von der Ah\u00e9
6 * @compile/fail/ref=T6278587Neg.out -XDrawDiagnostics -source 7 T6278587Neg.java
7 * @compile T6278587Neg.java
8 */
9
10 public abstract class T6278587Neg {
11 interface A<T extends A<T>> {}
12 interface B extends A<B> {}
13 interface C extends B {}
14 interface D<T> {}
15 abstract <T extends A<T>, S extends T> D<T> m(S s);
16 {
17 C c = null;
18 m(c);
19 }
20 }
|
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6278587 8007464
4 * @summary Inference broken for subtypes of subtypes of F-bounded types
5 * @author Peter von der Ah\u00e9
6 * @compile/fail/ref=T6278587Neg.out -XDrawDiagnostics -source 7 -Xlint:-options T6278587Neg.java
7 * @compile T6278587Neg.java
8 */
9
10 public abstract class T6278587Neg {
11 interface A<T extends A<T>> {}
12 interface B extends A<B> {}
13 interface C extends B {}
14 interface D<T> {}
15 abstract <T extends A<T>, S extends T> D<T> m(S s);
16 {
17 C c = null;
18 m(c);
19 }
20 }
|