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