/* | |
* @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); | |
} | |
} |