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
10public 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}
21